@inproceedings{Wu_and_Simpson_2010,
  title = "Towards Formally Templated Relational Database Representations in {Z}",
  author = "Wu, N. and Simpson, A.~C.",
  year = "2010",
  booktitle = "Proceedings of the 2nd International Conference on Abstract State Machines, Alloy, B and Z ({ABZ} 2010)",
  pages = "363--376",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5977",
}