Lua APA (7ú heag.)

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.