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

Tanti, E., Francalanza, A., & CSAW’13, C. S. A. W. (2013). Equivalence proofs for Erlang refactoring.

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

Tanti, Erica, Adrian Francalanza, και Computer Science Annual Workshop CSAW’13. Equivalence Proofs for Erlang Refactoring. 2013.

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

Tanti, Erica, et al. Equivalence Proofs for Erlang Refactoring. 2013.