1. Астапкович А.М. Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления. Базовые объекты и операции с AT-картами // Информационно-управляющие системы. 2004. № 2. C. 26-37.