IPSJ SIGNotes Programming Language No.009 - 008
(1986)
IPSJ SIGNotes
Hirata, Masahiro (1986)
Hirata, Masahiro "Plan of Verification System based on Parallel Programming Language Oc"