Digital integrated circuit design - Martin, Ken (Oxford University Press, 2000)