Restricted Congruences in Computing - 9780367497316