"Escher - a geometrical layout system for recursively defined circuits."

Edmund M. Clarke, Yulin Feng (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics