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