Gibbons, J., & Hutton, G. (2015). Proof Methods for Corecursive Programs.
Цитирование в стиле Чикаго (17-е изд.)Gibbons, J., и G. Hutton. Proof Methods for Corecursive Programs. 2015.
Цитирование MLA (9-е изд.)Gibbons, J., и G. Hutton. Proof Methods for Corecursive Programs. 2015.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.