代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入

@inproceedings{1987ID26,
	author = {, 稲田良造 and , 杉山裕二 and , 鳥居宏次},
	booktitle = {情報処理学会第35回(昭和62年後期)全国大会},
	title = {代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入},
}