Title: Logical construction of programs [L.C.P.) /
Authors: Warnier, Jean Dominique.
Publisher: Van Nostrand Reinhold Co.,
Year: 1976
Subjects: Computer programming.