Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
Style de citation Chicago (17e éd.)Hoare, C., et J. He. Natural Transformations and Data Refinement. 2015.
Style de citation MLA (9e éd.)Hoare, C., et J. He. Natural Transformations and Data Refinement. 2015.
Attention : ces citations peuvent ne pas être correctes à 100%.