Elementary number theory: a computer approach - College, Macalester (1974)