Title: On forward and backward proof rules for program verification
First published: 1976