Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.
Cytowanie według stylu Chicago (wyd. 17)Gibbons, J., i G. Hutton. Proof Methods for Corecursive Programs. 2015.
Cytowanie według stylu MLA (wyd. 9)Gibbons, J., i G. Hutton. Proof Methods for Corecursive Programs. 2015.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..