FORMAL development of reactive systems: case study production cell / edited by Claus Lewerentz, Thomas Lindner - Berlin Springer-Verlag 1995 - xi, 394 p. ISBN: 3540588671 Subjects--Topical Terms: Computer software- Development Dewey Class. No.: 670.427 / FOR