Verifiable programming - Dahl, Ole-Johan (Prentice Hall, 1992)