Wulf, William A.; London, Ralph L.; Shaw, Mary "An introduction to the construction and verification of Alphard programs"

[Proceedings] (1988) Proceedings of the 10th International Conference on Software Engineering, IEEE Computer Society Press, 1988  

Languages mentioned Alphard {1974} Pascal with data abstraction