Ehrig Hartmut Ed. Proceeding on theory and practice of software development - Berlin Springer-Verlag 1987 - 336p. cm. - Lecture notes in compuer science; 250 . Standard No.: 67829 Source: Textual Subjects--Topical Terms: Computer programming Dewey Class. No.: D65,8(b)92p1,N87, M7.2