APA (7th ed.) Citation

Hutton, G., & Gibbons, J. (2005). Proof Methods for Corecursive Programs. IOS Press.

Chicago Style (17th ed.) Citation

Hutton, Graham, and Jeremy Gibbons. Proof Methods for Corecursive Programs. IOS Press, 2005.

MLA (9th ed.) Citation

Hutton, Graham, and Jeremy Gibbons. Proof Methods for Corecursive Programs. IOS Press, 2005.

Warning: These citations may not always be 100% accurate.