Title: A complete axiomatic system for proving assertions about recursive and non-recursive programs
First published: 1974