Paper  bibtex   

@inproceedings{ Joergensen&15,
  key = {J{ø}rgensen\&15},
  author = {J{ø}rgensen, Peter W. V. and Larsen, Morten and Couto, Luis D.},
  title = {{A Code Generation Platform for VDM}},
  booktitle = {{Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014}},
  editor = {Battle, Nick and Fitzgerald, John},
  year = {2015},
  month = {January},
  publisher = {School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446},
  url_paper = {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf}
}