Programming with invariants (1986)

by Robert Paige
Venue:IEEE Software