Verification of APL programs (1972)

by S Gerhart
Venue:Ph.D. Th., Carnegie-Mellon U