Gibbons, J., & Hutton, G. (2005). Proof methods for corecursive programs.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Gibbons, J., ба G. Hutton. Proof Methods for Corecursive Programs. 2005.
MLA -ийн эшлэл (9 дэх хэвлэлт)Gibbons, J., ба G. Hutton. Proof Methods for Corecursive Programs. 2005.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.