Digital integrated circuit design - Martin, Ken (OUP, New York, 2000)