Formal development of reactive systems :  case study production cell / 
Claus Lewerentz and Thomas Lindner (eds.) 
 - Berlin :  Springer-Verlag,  1995 
 - 394 p. 
 - Lecture notes in computer science ;  no. 891 .
<br/><br/><label>ISBN: </label>3540588671 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development
<br/><br/><label>LC Class. No.: </label>QA76.76 D47  / F65