APA
Mario Bravetti L. K. G. Z., . (2005). Formal Techniques for Computer Systems and Business Processes. Germany: Springer.
Chicago
Mario Bravetti Leïla Kloul Gianluigi Zavattaro, . 2005. Formal Techniques for Computer Systems and Business Processes. Germany: Springer.
Harvard
Mario Bravetti L. K. G. Z., . (2005). Formal Techniques for Computer Systems and Business Processes. Germany: Springer.
MLA
Mario Bravetti Leïla Kloul Gianluigi Zavattaro, . Formal Techniques for Computer Systems and Business Processes. Germany: Springer. 2005.