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

Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.

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

Gibbons, J., και G. Hutton. Proof Methods for Corecursive Programs. 2015.

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

Gibbons, J., και G. Hutton. Proof Methods for Corecursive Programs. 2015.