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