Software - Practice and Experience 11(03) March 1981

Software Practice & Experience  

Bernstein, A. I. and Ensor, J. R. (1981) Bernstein, A. I. and Ensor, J. R. "A Modula based language supporting hierarchical development and verification" pp237-255. Rain, Mark (1981) Rain, Mark "The Structure of the MARY/2 Compiler"pp225-235