@inproceedings{denney-extraction,
  author = {Ewen Denney},
  booktitle = {Proceedings of the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA},
  title = {{The Synthesis of a Java Card Tokenisation Algorithm}},
  year = {2001}
}