(1998). Hierarchical annotated action diagrams: An interface-oriented specification and verification method / E. Cerny [and others].
Παραπομπή σε μορφή Chicago (17η εκδ.)Hierarchical Annotated Action Diagrams: An Interface-oriented Specification and Verification Method / E. Cerny [and Others]. 1998.
Παραπομπή σε μορφή MLA (9th εκδ.)Hierarchical Annotated Action Diagrams: An Interface-oriented Specification and Verification Method / E. Cerny [and Others]. 1998.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.