GYPSY: A Language for Specification and Implementation of Verifiable Programs (1977)

by A L Ambler
Venue:Department of Computer Science, Carnegie-Mellon University