Үүнийг мессежээр илгээх: Types and programming languages / Benjamin C. Pierce.