Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey.Logical Foundations / Benjamin C. Pierce. — Electronic textbook, 2023. — Vol. 1.Архивная копия от 20 июля 2023 на Wayback Machine
Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey.Logical Foundations / Benjamin C. Pierce. — Electronic textbook, 2023. — Vol. 1.Архивная копия от 20 июля 2023 на Wayback Machine
Ynot (неопр.). Дата обращения: 26 февраля 2009. Архивировано 25 февраля 2009 года.