A Deterministic finite automaton approach to design rule checking for VLSI. - R. Alan Eustace; Amar Mukhopadhyay (DAC, 1982)