Типы в языках программирования

Benjamin C. Pierce , Georgy Bronnikov (Translator) , Alex Ott (Translator)