Hoare, C., He, J., & Sampaio, A. (2015). From Algebra to Operational Semantics.
Chicago-čujuhus (17. p.)Hoare, C., J. He, juo A. Sampaio. From Algebra to Operational Semantics. 2015.
MLA-čujuhus (9. p.)Hoare, C., et al. From Algebra to Operational Semantics. 2015.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.