Logical construction of programs. - Warnier, Jean Dominique (Van Nostrand Reinhold Company, 1974)