@book{DeneckeWismath2002,
  author    = {Klaus-Dieter Denecke and Shelly Wismath},
  title     = {Universal algebra and applications in theoretical computer science},
  isbn      = {1-584-88254-9},
  year      = {2002},
}