APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.