@article{Str:99a,
  journal = {Electron.~Notes Theor.~Comp.~Sc.},
  year = {1999},
  volume = {29},
  pages = {288-300},
  title = {Denotational completness revisited},
  author = {T. Streicher},
}