@article{Wu_and_Simpson_2014,
  title = "Formal Relational Database Design: An Exercise in Extending the Formal Template Language",
  author = "Wu, N. and Simpson, A.~C.",
  year = "2014",
  journal = "Formal Aspects of Computing",
  number = "6",
  pages = "1231--1269",
  volume = "26",
}