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