Автоматное управление асинхронными процессами в ЭВМ и дискретных системах. Под редакцией В.И.Варшавского. М.,"Наука", 1986, 308 с.
Или она же переведенная:
Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems. Varshavsky, V.I., Ed. Kluwer Academic Publishers, 1990, p. 408.
Интересно, есть она вообще в электронном виде? Если у кого в Питере есть ненужная бумажная - обменяю на пиво =)