An Introduction to Educational Computing - Nicholas John Rushby (Taylor and Francis, 1979)