Applied algebra for the computer sciences - Gill, Arthur (Prentice-Hall Series in Automatic Computation / Prentice-Hall, Inc.., 1976)