GYPSY: A Language for Specification and Implementation of Verifiable Programs. - Ambler, Allen L. (1977)