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

Beyer. (2013). Formal Techniques for Distributed Systems (1.). Springer Berlin Heidelberg.

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

Beyer. Formal Techniques for Distributed Systems. 1. Springer Berlin Heidelberg, 2013.

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

Beyer. Formal Techniques for Distributed Systems. 1. Springer Berlin Heidelberg, 2013.