Designing Computer Systems: Gate Design
Mixed Logic Summary (written by S. Wills in 1999, revised by R Butera in 2002)