Neel D(ed) Tools and notions for program construction - Cambridge University Press, London 1982 - xiii,399 ISBN: 0-521-24801-9 Dewey Class. No.: 001.642 Nee