@inproceedings{3576,
  title = "Towards Formally Templated Relational Database Representations in Z",
  author = "Nicolas Wu and Andrew Simpson",
  year = "2010",
  booktitle = "Proceedings of the Second International Conference on Abstract State Machines, Alloy, B and Z ({ABZ} 2010)",
  pages = "363-376",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5977",
}