@article{DoschMoeller1997,
  author    = {Walter Dosch and Bernhard M{\"o}ller},
  title     = {Calculating a functional module for binary search trees},
  journal   = {Lecture Notes in Computer Science},
  volume    = {1268},
  pages     = {267 -- 284},
  doi       = {10.1007/3-540-63237-9_30},
  year      = {1997},
}