Logical construction of programs - Warnier, Jean Dominique (Van Nostrand Reinhold Co., 1976)