Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.
Chicagoスタイル(17版)引用形式Gibbons, J., , G. Hutton. Proof Methods for Corecursive Programs. 2015.
MLA(9版)引用形式Gibbons, J., , G. Hutton. Proof Methods for Corecursive Programs. 2015.
警告: この引用は必ずしも正確ではありません.