Abstract Algebra Theory and Applications Judson, Beezer Proofs and applications in relational algebra and automata theory