@inproceedings{JdV06,
  author        = {H. L. Jonker and E.P. de Vink},
  title         = {Formalising Receipt-Freeness},
  booktitle     = {Proc.\ 9th Conference on Information Security (ISC'06)},
  series        = {LNCS},
  volume        = {4176},
  publisher     = {Springer-Verlag},
  year          = {2006},
  pages         = {476--488},
  ee            = {http://www.springerlink.com/content/g57516v868476720/fulltext.pdf}
}