A Formal Approach to Design-Rule Checking. - Hossein Modarres; Ronald J. Lomax (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)