@InProceedings{Grue02a,
  author       = {K. Grue},
  year         = {2002},
  title        = {Dedekind completion as a method for constructing new {S}cott
                  domains},
  booktitle    = {CATS'02, Computing: the Australasian Theory Symposium},
  editor       = {James Harland},
  publisher    = {Elsevier Science},
  series       = {Electronic Notes in Theoritical Computer Science},
  volume       = {61},
  pages        = {1--14}
}