A System for Incrementally Designing & Verifying Programs (1977)

by Mark S Moriconi