Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.
芝加哥风格引文Gibbons, J., 与 G. Hutton. Proof Methods for Corecursive Programs. 2015.
MLA引文Gibbons, J., 与 G. Hutton. Proof Methods for Corecursive Programs. 2015.
警告：这些引文格式不一定是100％准确.