José A. Gallud José M. García The Specification of a Generic Multicomputer Using Lotos. 21-24 1995 30 SIGPLAN Notices 2 db/journals/sigplan/sigplan30.html#GalludG95