"Abstract Data Types in the Model Programming Language."

Robert T. Johnson, James B. Morris (1976)
a service of Schloss Dagstuhl - Leibniz Center for Informatics