Worrell, J. (2000). Coinduction for recursive data types: Partial orders, metric spaces and Ω-categories.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Worrell, J. Coinduction for Recursive Data Types: Partial Orders, Metric Spaces and Ω-categories. 2000.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Worrell, J. Coinduction for Recursive Data Types: Partial Orders, Metric Spaces and Ω-categories. 2000.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.