SPECWARE: formal support for composing software (1995)

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