@PhdThesis{lillibridge:thesis,
  author = 	 "Mark Lillibridge",
  title = 	 "Translucent Sums: A Foundation for Higher-Order Module
		  Systems",
  school = 	 "Carnegie Mellon University",
  year = 	 1996,
  address =	 "Pittsburgh, PA",
  month =	 "December"
}