TY  - BOOK
AU  - Cerny, Eduard
AU  - Berkane, B
AU  - Girodias, P
AU  - Khordoc, K
TI  - Hierarchical annotated action diagrams : an interface-oriented specification and verification method
SN  - 9780792383017
SN  - 98039320
U1  - 621.3981 CER 
PY  - 1998///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Computer input-output equipment - Charts, diagrams, etc
KW  - Computer input-output equipment - Design and construction - Mathematics
N1  - Includes bibliographical references and (p. [173]-181) and index
ER  -