Specware: Formal support for composing software (1995)

by Y V Srinivas, R Jullig
Venue:In Mathematics of Program Construction