— P. 431—507. Martín Abadi, LucaCardelli[англ.]. A Semantics of Object Types (англ.). — LICS[англ.], 1994. LucaCardelli[англ.]. Type systems (англ.) //
in Programming Languages. — 1967. Архивировано 12 августа 2017 года. LucaCardelli, Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism
(SRC) компании DEC совместно с Olivetti. Разработчики: Лука Карделли (LucaCardelli), Джим Донахью (Jim Donahue), Мик Джордан (Mick Jordan), Билл Калсоу
Vol. 7, iss. 2, no. April. — P. 25—26. — doi:10.1145/1005937.1005941. LucaCardelli, Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism (англ
performance (неопр.). Дата обращения: 3 июня 2014. Архивировано 21 июня 2014 года. LucaCardelli. Typeful programming. — IFIP State-of-the-Art Reports, Springer-Verlag