Digital Logic Design : a rigorous approach

Guy Even and Moti Medina