Wand, I. C. "Dynamic resource allocation and supervision with the programming language MODULA"

(1980) The Computer Journal 23(2) 1980  

Languages mentioned Euclid {1977} Verifiable system software language GYVE {1978} Concurrent SETL dialect Modula {1977} Concurrent modular language after Pascal