Program construction and verification - Backhouse, Roland C. (Prentice-Hall International, 1986)