Restricted Congruences in Computing - Khodakhast Bibak (Taylor and Francis, 2020)