2002, Pierce B.C., Types and Programming Languages
https://annas-archive.gl/md5/0ebcb70a6ec987f99cb14cee8bb08481
2010, Пирс Б., Типы в языках программирования
https://annas-archive.gl/md5/f5a260743a0db6d684db4c33cbb52c02