@inproceedings{K06c,
  volume="4162",
  month="August",
  author="Dexter Kozen",
  series="Lecture Notes in Computer Science",
  booktitle="Proc. Conf. Mathematical Foundations of Computer Science (MFCS'06)",
  editor="R. Kr\'{a}lovic and P. Urzyczyn",
  title="On the Representation of {K}leene Algebras with Tests",
  publisher="Springer",
  pages="73--83",
  year="2006"
}