Gypsy: a language for specification and implementation of verifiable programs , Proceedings of an ACM conference o__n language design for reliable software, D.B.Wortman (ed (1977)

by D I Good A L Ambler, W F Burger J C Browne