Hoare, C., He, J., & Sampaio, A. (2015). From Algebra to Operational Semantics.
Lua i Stíl Chicago (17ú heag.)Hoare, C., J. He, agus A. Sampaio. From Algebra to Operational Semantics. 2015.
Lua MLA (9ú heag.)Hoare, C., et al. From Algebra to Operational Semantics. 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.