Digital, switching, and timing circuits by John M. Doyle