Hoare, C., He, J., & Sampaio, A. (2015). From Algebra to Operational Semantics.
Chicago-referens (17:e uppl.)Hoare, C., J. He, och A. Sampaio. From Algebra to Operational Semantics. 2015.
MLA-referens (9:e uppl.)Hoare, C., et al. From Algebra to Operational Semantics. 2015.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.