Geodesic

Об индексных множествах в иерархии Ершова
p. 3-16
Обзор по методам синтеза программ
p. 16-42
О комбинаторной структуре и мощности классов линейно деформируемых многогранников
p. 42-55
Критерий полноты систем операций в программах с конечной памятью
p. 55-97
О влиянии базиса детерминированных преобразователей на возможности преобразования случайных кодов
p. 98-102
О формальной модели и спецификации распределенной диалоговой системы
p. 102-111