Lyra: A new approach to geometric layout rule checking. - Michael H. Arnold; John K. Ousterhout (DAC, 1982)

An Interactive Maze Router with Hints. - Michael H. Arnold; Walter S. Scott (DAC, 1988)