Program inversion (1979)

by E W Dijkstra
Venue:In Program Construction, http://www.cs.utexas.edu/∼EWD/ ewd06xx/EWD671.PDF