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

Hoare, C., He, J., & Sampaio, A. (2015). From Algebra to Operational Semantics.

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

Hoare, C., J. He, και A. Sampaio. From Algebra to Operational Semantics. 2015.

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

Hoare, C., et al. From Algebra to Operational Semantics. 2015.