Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
Citace podle Chicago (17th ed.)Hoare, C., a J. He. Natural Transformations and Data Refinement. 2015.
Citace podle MLA (9th ed.)Hoare, C., a J. He. Natural Transformations and Data Refinement. 2015.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..