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

Soeken, M., & Drechsler, R. (2015). Formal Specification Level: Concepts, Methods, and Algorithms. Springer International Publishing : Imprint: Springer.

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

Soeken, Mathias, και Rolf Drechsler. Formal Specification Level: Concepts, Methods, and Algorithms. Cham: Springer International Publishing : Imprint: Springer, 2015.

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

Soeken, Mathias, και Rolf Drechsler. Formal Specification Level: Concepts, Methods, and Algorithms. Springer International Publishing : Imprint: Springer, 2015.