Лялецкий, А. (2014). Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України.
Чикаго стиль цитування (17-те видання)Лялецкий, А.А. Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України, 2014.
Стиль цитування MLA (8-ме видання)Лялецкий, А.А. Новые доказательства важных теорем бестипового экстенсионального λ–исчисления. Інститут кібернетики ім. В.М. Глушкова НАН України, 2014.
Попередження: стилі цитування не завжди правильні на всі 100%.