Mary Shaw, William A. Wulf, "Abstraction and verification in Alphard: defining and specifying iteration and generators"

[ACM] (1977) [ACM] CACM 20(08) (Aug 1977)  

Languages mentioned Alphard {1974} Pascal with data abstraction