Bernstein, A. I. and Ensor, J. R. "A Modula based language supporting hierarchical development and verification" pp237-255.

(1981) Software - Practice and Experience 11(03) March 1981  

Languages mentioned SB-Mod {1981}