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. https://doi.org/10.1007/978-1-4615-5615-2

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. https://doi.org/10.1007/978-1-4615-5615-2.

MLA (9th ed.) Citation

Cerny, E., et al. Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method. Springer US, 1998. https://doi.org/10.1007/978-1-4615-5615-2.