Hierarchical annotated action diagrams. An interface-oriented specification and verification method. (English) Zbl 0923.68084
Boston: Kluwer Academic Publishers. xvi, 211 p. Dfl 255.00; $ 112.00; £76.20 (1998).
Reviewer: A.Michalski (Warszawa)