Digital logic for computing. (2017)