Hirata, Masahiro "Plan of Verification System based on Parallel Programming Language Oc"

(1986) IPSJ SIGNotes Programming Language No.009 - 008  

Languages mentioned OC {1984} Parallel logic language