Bernstein, A. J.; and Ensor, J. R. "A MODULA based language supporting hierarchical development and verification" Softw. Pract. Exper. 11, 3 (March 1981), 237-255.

Languages mentioned

• SB-MODULA {1981} Development extensions to MODULA