@Unpublished{dreyer+:thoms,
  author = 	 {Derek Dreyer and Karl Crary and Robert Harper},
  title = 	 {A Type System for Higher-Order Modules},
  note = 	 {(Submitted for publication.)},
  month =	 {March},
  year =	 2002
}