Toward a Formally Based Programming Environment. - Alessandro Giacalone; Thomas W. Doeppner Jr.; Michael J. Braca (ECICS, 1982)