Programming with invariants (1986)

by R Paige
Venue:IEEE Software