% This file was created with JabRef 2.7b.
% Encoding: ISO8859_1

@STRING{ipl = {Information Processing Letters}}

@STRING{jlap = {Journal of Logic and Algebraic Programming}}

@STRING{lncs = {Lecture Notes in Computer Science}}

@STRING{sv = {Springer-Verlag}}

@STRING{toplas = {ACM Transactions on Programming Languages and Systems}}

@ARTICLE{AartsEtAl1995,
  author = {Aarts, C. J. and Backhouse, R. C. and Boiten, E. A. and Doornbos,
	H. and Gasteren, N. van and Geldrop, R. van and Hoogendijk, P. F.
	and Voermans, E. and Woude, J. van der},
  title = {Fixed-Point Calculus},
  journal = ipl,
  year = {1995},
  volume = {53},
  pages = {131--136},
  number = {3},
  month = {10 February}
}

@ARTICLE{Backhouse2006,
  author = {Backhouse, R.},
  title = {Regular algebra applied to language problems},
  journal = jlap,
  year = {2006},
  volume = {66},
  pages = {71--111},
  number = {2},
  month = {February--March}
}

@INCOLLECTION{ChomskySchuetzenberger1963,
  author = {Chomsky, N. and Sch{\"u}tzenberger, M. P.},
  title = {The algebraic theory of context-free languages},
  booktitle = {Computer Programming and Formal Systems},
  publisher = {North-Holland Publishing Company},
  year = {1963},
  editor = {Braffort, P. and Hirschberg, D.},
  pages = {118--161}
}

@INPROCEEDINGS{Cohen2000,
  author = {Cohen, E.},
  title = {Separation and Reduction},
  booktitle = {Mathematics of Program Construction},
  year = {2000},
  editor = {Backhouse, R. and Oliveira, J. N.},
  volume = {1837},
  series = lncs,
  pages = {45--59},
  publisher = sv
}

@BOOK{Conway1971,
  title = {Regular Algebra and Finite Machines},
  publisher = {Chapman and Hall},
  year = {1971},
  author = {Conway, J. H.},
  isbn = {0-412-10620-5}
}

@ARTICLE{DesharnaisMoellerStruth2006,
  author = {Desharnais, J. and M{\"o}ller, B. and Struth, G.},
  title = {Kleene algebra with domain},
  journal = {ACM Transactions on Computational Logic},
  year = {2006},
  volume = {7},
  pages = {798--833},
  number = {4},
  month = oct
}

@ARTICLE{DesharnaisMoellerTchier2006,
  author = {Desharnais, J. and M{\"o}ller, B. and Tchier, F.},
  title = {Kleene under a modal demonic star},
  journal = jlap,
  year = {2006},
  volume = {66},
  pages = {127--160},
  number = {2},
  month = {February--March}
}

@BOOK{Graetzer1998,
  title = {General Lattice Theory},
  publisher = {Birkh{\"a}user},
  year = {1998},
  author = {Gr{\"a}tzer, G.},
  edition = {second},
  isbn = {3-7643-5239-6}
}

@BOOK{HebischWeinert1993,
  title = {Halbringe},
  publisher = {Teubner},
  year = {1993},
  author = {Hebisch, U. and Weinert, H. J.},
  isbn = {3-519-02091-2}
}

@ELECTRONIC{AbteilungPM,
  author = {{Institut Programmiermethodik und Compilerbau}},
  month = {November},
  year = {2014},
  title = {{Homepage des Instituts}},
  url = {http://www.uni-ulm.de/in/pm/},
  urldate = {2014-05-19}
}

@BOOK{Kopka1996,
  title = {\LaTeX: Einführung},
  publisher = {Addison-Wesley, zweite Auflage},
  year = {1996},
  author = {Kopka, H.}
}

@INPROCEEDINGS{Kozen1990,
  author = {Kozen, D.},
  title = {On {Kleene} algebras and closed semirings},
  booktitle = {Mathematical Foundations of Computer Science 1990},
  year = {1990},
  editor = {Rovan, B.},
  volume = {452},
  series = lncs,
  pages = {26--47},
  publisher = sv
}

@ARTICLE{Kozen1997,
  author = {Kozen, D.},
  title = {Kleene algebra with tests},
  journal = toplas,
  year = {1997},
  volume = {19},
  pages = {427--443},
  number = {3},
  month = may
}

@ARTICLE{Kozen1994,
  author = {Kozen, D.},
  title = {A completeness theorem for {Kleene} algebras and the algebra of regular
	events},
  journal = {Information and Computation},
  year = {1994},
  volume = {110},
  pages = {366--390},
  number = {2},
  month = may
}

@BOOK{Strunk1918,
  title = {The Elements of Style},
  publisher = {W. P. Humphrey},
  year = {1918},
  author = {Strunk, W.},
  address = {Ithaca, N. Y.},
  edition = {first},
  isbn = {1-58734-060-7}
}

@BOOK{Szasz1963,
  title = {Introduction to Lattice Theory},
  publisher = {Academic Press},
  year = {1963},
  author = {Sz{\'a}sz, G.},
  edition = {third}
}

@ARTICLE{Tarski1955,
  author = {Tarski, A.},
  title = {A Lattice-Theoretical Fixpoint Theorem and its Applications},
  journal = {Pacific Journal of Mathematics},
  year = {1955},
  volume = {5},
  pages = {285--309},
  number = {2}
}

