Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
芝加哥风格引文Hoare, C., 与 J. He. Natural Transformations and Data Refinement. 2015.
MLA引文Hoare, C., 与 J. He. Natural Transformations and Data Refinement. 2015.
警告：这些引文格式不一定是100％准确.
APA引文