Wulf, W.A., London, R.L., and Shaw, M., "Abstraction and verification in Alphard: Introduction to language and methodology" USC Information Science Institute Technical Report, University of Southern California, Los Angeles (1976).

Languages mentioned

• Alphard {1974} Pascal with data abstraction