@inproceedings{hills-rosu-2008-wadt,
  author    = {Mark Hills and Grigore Ro\c{s}u},
  title     = "{Towards a Module System for {K}}",
  booktitle = {Proceedings of the 19th International Workshop Recent Trends in Algebraic Development Techniques (WADT 2008)},
  pages     = {187--205},
  series    = {Lecture Notes in Computer Science},
  volume    = {5486},
  publisher = {Springer},
  year      = {2009},
  doi       = {10.1007/978-3-642-03429-9_13},
}