Universal algebra and applications in theoretical computer science. (©2002)