1978年東京大学工学博士学位論文は「Specificationandverificationtechniquesforparallelprogramsbasedonmessagepassingsemantics(メッセージ・パッスィング・セマンティックスにもとづく並列プログラムに対する仕様・検証技法についての研究)」.
Specificationandverificationtechniquesforparallelprogramsbasedonmessagepassingsemantics