@article{Moeller1994,
  author    = {Bernhard M{\"o}ller},
  title     = {Ordered and continuous models of higher-order specifications},
  journal   = {Lecture Notes in Computer Science},
  volume    = {816},
  pages     = {223 -- 255},
  doi       = {10.1007/3-540-58233-9_11},
  year      = {1994},
}