Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
Lua i Stíl Chicago (17ú heag.)Hoare, C., agus J. He. Natural Transformations and Data Refinement. 2015.
Lua MLA (9ú heag.)Hoare, C., agus J. He. Natural Transformations and Data Refinement. 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.