@article{HiJ01Wea,
  author = "Hinze, Ralf and Jeuring, Johan",
  journal = "Journal of Functional Programming",
  month = "nov",
  number = "6",
  pages = "681--689",
  title = "{Functional Pearl:} {W}eaving a Web",
  volume = "11",
  year = "2001",
}