@InCollection{abramsky94,
  author = 	{S. Abramsky and A. Jung},
  booktitle = 	{Handbook of Logic in Computer Science},
  title = 	{Domain Theory},
  publisher = 	{Clarendon Press},
  pages = 	{1--168},
  year = 	1994,
  editor = 	{S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  volume = 	3
}