Verifiable programming - Dahl Ole-Johan (New York Prentice Hall, 1992)
Keywords: Computer programming language; Computer science