Alan Williams The Applicability of Discrete Performance Estimation Methods to VLSI Design. 152-176 1993 5 Formal Asp. Comput. 2 db/journals/fac/fac5.html#Williams93