@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00121519,
 book = {全国大会講演論文集},
 issue = {ソフトウェア},
 month = {Feb},
 note = {さきに,実行可能な仕様記述言語NAIVEの概要と,その背後に設定した世界観について述べた.本稿では,その世界観を反映するように設計された言語NAIVEの具体的言語仕様を示す.さらに仕様記述例を示し,当言語のソフトウェア開発上の利点について議論する.},
 pages = {9--10},
 publisher = {情報処理学会},
 title = {日常的世界観にもとづく実行可能な仕様記述言語NAIVE : その言語仕様と記述例},
 volume = {第44回},
 year = {1992}
}