@PhdThesis{russo:thesis,
  author = 	 {Claudio V. Russo},
  title = 	 {Types for Modules},
  school = 	 {Edinburgh University},
  year = 	 1998,
  address =	 {Edinburgh, Scotland},
  note =	 {LFCS Thesis ECS--LFCS--98--389}
}