digital logic design - Alam, Mansaf (PHI Learning, 2016)