Warnier, Jean Dominique Logical construction of programs - New York Van Nostrand Reinhold company 1974 ISBN: 442291930 LC Class. No.: QA76.6.W37 1974