А. В. Бабичев, “О согласовании поведения взаимодействующих объектов”, УБС, 46 (2013), 6–67
А. В. Бабичев, “Ориентирование в лабиринте”, Автомат. и телемех., 2008, 2, 135–145
А. В. Бабичев, “Рациональные термы и рациональные числа”, Автомат. и телемех., 1998, № 3, 156–172
А. В. Бабичев, “Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных”, Автомат. и телемех., 1997, № 2, 194–208
А. В. Бабичев, “Типизация и организация контроля типов в программах над сложными структурами данных”, Автомат. и телемех., 1989, № 3, 167–175
А. В. Бабичев, “Порождение и распознавание языков над термами”, Автомат. и телемех., 1988, № 9, 144–153
А. В. Бабичев, “Исчисления, допускающие проверку выводимости с помощью конечных интерпретаций”, Автомат. и телемех., 1988, № 5, 132–142