АСТАПКОВИЧ, А. М. Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления. Базовые объекты и операции с AT-картами. Информационно-управляющие системы, n. 2, p. 26-37, 20 abr. 2004.