@Misc{BPvHR97,
  author = 	 "M. Bartels and H. Pfeifer and F.W. von Henke and
		  H. Rue{\ss}", 
  title = 	 "Mechanizing Domain Theory",
  year          = {1999},
  note = 	 "submitted to the journal ``Applied Categorical Structures",
}