@inproceedings{JdV06,
  author        = {H. L. Jonker and E.P. de Vink},
  title         = {Formalising Receipt-Freeness},
  booktitle     = {Proc.\ 9th Conference on Information Security (ISC'06)},
  note          = {Samos Island, Greece},
  series        = {LNCS},
  volume        = {4176},
  publisher     = {Springer-Verlag},
  editor        = {Sokratis K. Katsikas and Javier Lopez and Michael Backes and Stefanos Gritzalis and Bart Preneel},
  month         = {August/September},
  year          = {2006},
  pages         = {476--488},
  ee            = {http://www.springerlink.com/content/g57516v868476720/fulltext.pdf}
}