Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики, Ершов Ю. Л., & Гончаров С. С. (1986). Логические вопросы теории типов данных: сборник научных трудов. Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986.
Цитирование в стиле Чикаго (17-е изд.)Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики, Ершов Ю. Л., и Гончаров С. С. Логические вопросы теории типов данных: сборник научных трудов. Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986, 1986.
Цитирование MLA (9-е изд.)Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики, et al. Логические вопросы теории типов данных: сборник научных трудов. Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986, 1986.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.