Logical construction of programs [L.C.P.)] - Warnier, Jean Dominique (Van Nostrand Reinhold Co., 1974)