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

O'Leary, J., Kaivola, R., & Melham, T. (2013). Relational STE and theorem proving for formal verification of industrial circuit designs.

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

O'Leary, J., R. Kaivola, και T. Melham. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.

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

O'Leary, J., et al. Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs. 2013.