Applied algebra for the computer sciences - Gill Arthur (Engleward Cliffs Prentice- Hall, 1976)