@article{Refine_Monadic-AFP,
  author  = {Peter Lammich},
  title   = {Refinement for Monadic Programs},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2012,
  note    = {\url{http://isa-afp.org/entries/Refine_Monadic.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{Refine_Imperative_HOL-AFP,
  author  = {Peter Lammich},
  title   = {The Imperative Refinement Framework},
  journal = {Archive of Formal Proofs},
  month   = aug,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/Refine_Imperative_HOL.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{KMP77,
author = {Donald E. Knuth and James H. Morris, Jr. and Vaughan R. Pratt},
title = {Fast Pattern Matching in Strings},
journal = {SIAM Journal on Computing},
volume = {6},
number = {2},
pages = {323-350},
year = {1977},
doi = {10.1137/0206024},

URL = { 
        https://doi.org/10.1137/0206024
},
eprint = { 
        https://doi.org/10.1137/0206024
}
}

@unpublished{GAD,
author = {Helmut Seidl},
title = {{Grundlagen: Algorithmen und Datenstrukturen}},
year = {2016},
note = {\url{http://www2.in.tum.de/hp/file?fid=1347},
        German lecture notes}
}
