Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
Chicago-viite (17. p.)Hoare, C., ja J. He. Natural Transformations and Data Refinement. 2015.
MLA-viite (9. p.)Hoare, C., ja J. He. Natural Transformations and Data Refinement. 2015.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.