London, Ralph L., Shaw, Mary and Wulf, Wm. A. "Abstraction and Verification in Alphard: A Symbol Table Example." Carnegie-Mellon Univ 29 Dec 76 AFOSR-TR-77-0324

Languages mentioned

• Alphard {1974} Pascal with data abstraction