APA (7th ed.) Citation

Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.

Chicago Style (17th ed.) Citation

Hoare, C., and J. He. Natural Transformations and Data Refinement. 2015.

MLA (9th ed.) Citation

Hoare, C., and J. He. Natural Transformations and Data Refinement. 2015.

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