@InProceedings{Wells-Vestergaard:ESOP00,
  author =  "Joe Wells and Ren\'e Vestergaard",
  title =   "Equational Reasoning for Linking with
             First-Class Primitive Modules",
  booktitle =   "Proceedings of ESOP-9",
  year =    2000,
  editor =  "Gert Smolka",
  volume =       "1782",
  series =       "{LNCS}",
  publisher =    "Springer Verlag",
}