APA (7th ed.) Citation

Cerny, E., Berkane, B., Girodias, P., & Khordoc, K. (1998). Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method. Springer US.

Chicago Style (17th ed.) Citation

Cerny, E., B. Berkane, P. Girodias, and K. Khordoc. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method. Boston, MA: Springer US, 1998.

MLA (9th ed.) Citation

Cerny, E., et al. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method. Springer US, 1998.