@inproceedings{heunen:semimoduleenrichment,
  title = "Semimodule enrichment",
  author = "Chris Heunen",
  year = "2008",
  booktitle = "MFPS 24",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "192-208",
  publisher = "Elsevier",
  volume = "218",
  doi = "10.1016/j.entcs.2008.10.012",
}