Broy, Manfred Mathematical methods in program development Manfred Broy and Birgit Schieder - - Springer-Verlag, Berlin 1997 - - . Subjects--Topical Terms: Computer programming Dewey Class. No.: R 005.1 BRO-M