@article{BKS:14,
  title = {Observationally-induced algebras in Domain Theory},
  number = {3:18},
  journal = {Logical Methods in Computer Science},
  ages = {1-26},
  author = {Battenfeld, Ingo and Keimel, Klaus and Streicher, Thomas},
  volume = {10},
  year = {2014},
}