Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.
Čikaški stil citiranja (17. izdanje)Gibbons, J., i G. Hutton. Proof Methods for Corecursive Programs. 2015.
MLA način citiranja (9. izdanje)Gibbons, J., i G. Hutton. Proof Methods for Corecursive Programs. 2015.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.