Statement inversion and strongest postcondition (1993)

by R J R Back, J von Wright
Venue:Science of Computer Programming