APA (7th ed.) Citation

Cerny, E. (1998). Hierarchical annotated action diagrams: An interface-oriented specification and verification method. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

Cerny, Eduard. Hierarchical Annotated Action Diagrams: An Interface-oriented Specification and Verification Method. Boston: Kluwer Academic Publishers, 1998.

MLA (9th ed.) Citation

Cerny, Eduard. Hierarchical Annotated Action Diagrams: An Interface-oriented Specification and Verification Method. Kluwer Academic Publishers, 1998.