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

Sannella, D., & Tarlecki, A. (2012). Foundations of Algebraic Specification and Formal Software Development. Springer Berlin Heidelberg.

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

Sannella, Donald, και Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

Sannella, Donald, και Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Springer Berlin Heidelberg, 2012.