Hoare, C., & He, J. (2015). Natural Transformations and Data Refinement.
Цитирование в стиле Чикаго (17-е изд.)Hoare, C., и J. He. Natural Transformations and Data Refinement. 2015.
Цитирование MLA (9-е изд.)Hoare, C., и J. He. Natural Transformations and Data Refinement. 2015.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.