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%.