Generating an implementation of a parallel programming language from a formal semantic definition (1992)

by M J Oudshoorn, K J Ransom, C D Marlin
Venue:Australian Computer Science Communications