APA citiranje

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 citiranje

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