GYPSY: A language for specification and implementation of verifiable programs (1977)

by A L Ambler
Venue:In Language Design for Reliable Software