@InProceedings{Kahl-2003c,
  author = 	 {Wolfram Kahl},
  title = 	 {Calculational Relation-Algebraic Proofs in Isabelle/Isar},
  crossref =     {RelMiCS2003},
  pages = 	 {178--190},
  abstract = {We propose a collection of theories in the proof assistant
    Isabelle/Isar that support calculational reasoning in and about
    heterogeneous relational algebras and Kleene algebras.}
}

@Proceedings{RelMiCS2003,
  title = {Relational and {Kleene}-Algebraic Methods in Computer Science:
    {7th International Seminar on Relational Methods in Computer Science
     and 2nd International Workshop on Applications of Kleene Algebra,
     Bad Malente, Germany, May 12--17, 2003, Revised Selected Papers}},
  booktitle = {Relational and {Kleene}-Algebraic Methods in Computer Science},
  year = 	 {2003},
  editor = 	 {Rudolf Berghammer and Bernhard M{\"o}ller and Georg Struth},
  volume = 	 {3051},
  series = 	 LNCS,
  publisher = Springer,
  URL = 	 {http://link.springer.de/link/service/series/0558/tocs/t3051.htm}
}