"A proposal for a handbook for APL program verification."

Susan L. Gerhart, Richard J. Orgass (1974)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics