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

by Georgia Inst Sci, of Technology Ambler, A L, D I Good, J C Browne, W F Burger, R M Cohen, C G Hoch, R E Wells
Venue:ACM SIGPLAN Notices