Типы в языках программирования
Пирс Б.
Обложка: