@inproceedings{align,
  title = "Incremental Updates for Efficient Bidirectional Transformations",
  author = "Meng Wang and Jeremy Gibbons and Nicolas Wu",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf",
}
@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",
}
@techreport{RR-09-14,
  title = "PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2009",
  author = "Programme Co-Chairs: Lu Feng and John Lyle and Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "November",
  number = "RR-09-14",
  pages = "33",
}
@techreport{RR-09-10,
  title = "A Functional Implementation of the Formal Template Language",
  author = "Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-10",
  pages = "20",
}