Donald E. Thomas Observations on comparing digital systems synthesis techniques. 17-22 1985 conf/acm/1985 ACM Conference on Computer Science http://doi.acm.org/10.1145/320599.320602 db/conf/acm/csc1985.html#Thomas85