Hoare, C., He, J., & Sampaio, A. (2015). From Algebra to Operational Semantics.
芝加哥风格引文Hoare, C., J. He, 与 A. Sampaio. From Algebra to Operational Semantics. 2015.
MLA引文Hoare, C., et al. From Algebra to Operational Semantics. 2015.
警告：这些引文格式不一定是100％准确.