APA (7th ed.) Citation

Gibbons, J., & Hutton, G. (1999). Proof methods for structured corecursive programs.

Chicago Style (17th ed.) Citation

Gibbons, Jeremy, and Graham Hutton. Proof Methods for Structured Corecursive Programs. 1999.

MLA (9th ed.) Citation

Gibbons, Jeremy, and Graham Hutton. Proof Methods for Structured Corecursive Programs. 1999.

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