@techreport{oai:ipsj.ixsq.nii.ac.jp:00031241,
 author = {酒井, 正彦 and 北, 英彦 and 坂部, 俊樹 and 稲垣, 康善 and Masahiko, Sakai and Hidehiko, Kita and Toshiki, Sakabe and Yasuyoshi, Inagaki},
 issue = {39(1986-PRO-017)},
 month = {Jul},
 note = {本稿では，コンパイラの代数的仕様記述法を提案し，その記述例としてPL／Oコンパイラの仕様記述を与える．本記述法では，コンパイラをソース言語の構文領域からターゲット言語の構文領域への関数とみなし，これを二つの構文領域に対して，コンパイリング関数，補助領域，補助関数を加えて拡張した抽象データ型として等式を用いて記述する．, In this paper, we propose an algebraic specification method of compilers, and give a specification of PL/O compiler as an example. The basic idea of this method is as follows : A compiler is regarded as the function from the syntactic domain of source language to that of target language. The compiler is specified by using equations as an abstract data type which is the two syntactic domains enriched with the compiling function, auxiliary domains and auxiliary functions.},
 title = {コンパイラの代数的仕様記述法},
 year = {1986}
}