Title: An approach to automatic verification of program correctness
First published: 1973