@InProceedings{jung92a,
  author = 	{A. Jung and L. Libkin and H. Puhlmann},
  title = 	{Decomposition of Domains},
  booktitle = 	{Mathematical Foundations of Programming Semantics},
  year = 	1992,
  series = 	{Lecture Notes in Computer Science},
  volume = 	598,
  editor = 	{S. Brookes and M. Main and A. Melton and M. Mislove
		 and D. Schmidt},
  pages = 	{235--258},
  publisher = 	{Springer Verlag},
  abstract = 	{The problem of decomposing domains into sensible
		  factors is addressed and solved for the case of
		  dI-domains. A decomposition theorem is proved which
		  allows the represention of a large subclass of
		  dI-domains in a product of flat domains. Direct
		  product decompositions of Scott-domains are studied
		  separately.}
}