@article{Moeller1996,
  author    = {Bernhard M{\"o}ller},
  title     = {Assertions and recursions},
  journal   = {Lecture Notes in Computer Science},
  volume    = {1074},
  pages     = {163 -- 184},
  doi       = {10.1007/3-540-61254-8_25},
  year      = {1996},
}