Title: Axiomatic verification to enhance software reliability
First published: 1983