Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.
Cita Chicago (17th ed.)Gibbons, J., i G. Hutton. Proof Methods for Corecursive Programs. 2015.
Cita MLA (9th ed.)Gibbons, J., i G. Hutton. Proof Methods for Corecursive Programs. 2015.
Atenció: Aquestes cites poden no estar 100% correctes.