Program construction and varification - Backhouse Roland C (Englewood cliffs Prentice hall, 1986)
Keywords: Computer science