Verifiable Programming - Dahl, Ole-johan (Prentice Hall, 1992)