TY  - BOOK
AU  - WIERINGA
TI  - DESIGN METHODS FOR REACTIVE SYSTEMS : YOURDON STATEMATE AND THE UML
SN  - 1-55860-755-2
U1  - 005.1 WIE 
PY  - 2003///
PB  - MORGAN KUFMANN
ER  -