@inproceedings{modules98,
  title     = {A Formal Specification for the Haskell 98 Module System},
  author    = "Iavor S. Diatchki and Mark P. Jones and Thomas Hallgren",
  booktitle = {Proceedings of ACM SIGPLAN 2002 Haskell Workshop},
  pages     = "17--28"
  month     = October,
  year      = 2002,
  address   = "Pittsburgh, PA, USA"
}