"Как специальные конструкции трансляции могут порождаться универсальными процессами смешанных вычислений", представленный на конференцию по прикладной логике.