Program Construction and Verification - Backhouse, Roland C (Prentice-Hall, 1986)