A Comment on Axiomatic Approaches to Programming
CACM July, 1970
Hunt, B.R.
