Варшавский, В. И. Логическое проектирование и квантовый вызов. ИУС 2005, 22-32.