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