A Logic for Correct Program Development (1979)

by J L Bates