3 works on record
Algebraic and logic programming
Universal Algebra for Computer Scientists
The concept of fuzziness in automata and language theory
