Digital logic for computing (2017)