@inproceedings{Wright02,
  author    = {von Wright, J.},
  title     = {From {K}leene Algebra to Refinement Algebra},
  editor    = {Boiten, E. A. and
               M{\"o}ller, B.},
  booktitle = {MPC},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {2386},
  year      = {2002},
  pages     = {233--262}
}

@article{ArmstrongSW13,
  author    = {Armstrong, A. and
               Struth, G. and
               Weber, T.},
  title     = {Kleene Algebra},
  journal   = {Archive of Formal Proofs},
  year      = {2013},
  url		= {http://isa-afp.org/entries/Kleene_Algebra.shtml}
}

@book{Conway71,
  title		= {Regular Algebra and Finite Machines},
  author	= {Conway, J. H.},
  year		= {1971},
  publisher = {Chapman and Hall}
}

@article{Solin11,
  author    = {Solin, K.},
  title     = {Normal forms in total correctness for while programs and
               action systems},
  journal   = {J. Logic and Algebraic Programming},
  volume    = {80},
  number    = {6},
  year      = {2011},
  pages     = {362--375}
}

@article{HofnerSS09,
  author    = {H{\"o}fner, P.  and
               Struth, G. and
               Sutcliffe, G.},
  title     = {Automated verification of refinement laws},
  journal   = {Ann. Mathematics and Artificial Intelligence},
  volume    = {55},
  number    = {1-2},
  year      = {2009},
  pages     = {35--62}
}

@inproceedings{Cohen00,
  author    = {Cohen, E.},
  title     = {Separation and Reduction},
  booktitle = {MPC},
  year      = {2000},
  pages     = {45--59},
  editor    = {Backhouse, R. C. and
               Oliveira, J. N.},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {1837}
}

@article{Kozen97,
  author    = {Kozen, D.},
  title     = {Kleene Algebra with Tests},
  journal   = {ACM TOPLAS},
  volume    = {19},
  number    = {3},
  year      = {1997},
  pages     = {427--443}
}

@inproceedings{Preoteasa11,
  author    = {Preoteasa, V.},
  title     = {Algebra of Monotonic Boolean Transformers},
  booktitle = {SBMF},
  year      = {2011},
  pages     = {140--155},
  editor    = {Sim{\~a}o, A. S. and
               Morgan, C.},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {7021},
 }
