Koelmans, A.M., McLauchlan, M.R. and Kinniment, D.J. "Asynchronous Extensions to the STRICT High Level Design System" CS-TR: 272, Department of Computing Science, University of Newcastle, 1988

Languages mentioned

• STRICT {1985}