Буфалов С.А. Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов : автореф. дис. .. канд. техн. наук: 05.13.01 / С. А. Буфалов, 2002. - 22 с. - Текст : непосредственный.