APA-viite (7. p.)

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

Chicago-viite (17. p.)

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

MLA-viite (9. p.)

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