Παραπομπή σε μορφή APA (7η εκδ.)

Montali, M. (2010). Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Montali, Marco. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Παραπομπή σε μορφή MLA (8th εκδ.)

Montali, Marco. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Springer Berlin Heidelberg, 2010.