Logical Construction of Programs - Warnier, Jean Dominique (Van Nostrand Reinhold Company, 1981)