Verifying Abstract Data Types with SNOBOL4

Arthur C. Fleck. Verifying Abstract Data Types with SNOBOL4. Software: Practice and Experience, 12(7):627-640, 1982.

Abstract

Abstract is missing.