@INPROCEEDINGS{Chadha2001,
  AUTHOR = {R. Chadha and M.I. Kanovich and A. Scedrov},
  TITLE = {Inductive methods and contract-signing protocols},
  BOOKTITLE = {8-th ACM Conference on Computer and Communications Security},
  YEAR = {2001},
  EDITOR = {P. Samarati},
  PUBLISHER = {ACM Press},
  MONTH = NOV,
  ADRESS = {Philadelphia, USA},
  PAGES = {176--185}
}

@INPROCEEDINGS{GJM99,
  AUTHOR = {J. A. Garay and M. Jakobsson and P. MacKenzie},
  TITLE = {Abuse-Free Optimistic Contract Signing},
  BOOKTITLE = {Advances in Cryptology: Proceedings of Crypto'99},
  VOLUME = {1666},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1999},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {449--466}
}

@INPROCEEDINGS{KremerRaskin2002,
  AUTHOR = {Steve Kremer and Jean-Fran\c{c}ois Raskin},
  TITLE = {Game Analysis of Abuse-free Contract Signing},
  BOOKTITLE = {15th Computer Security Foundations Workshop},
  PAGES = {206--220},
  YEAR = {2002},
  EDITOR = {Steve Schneider},
  ADDRESS = {Cape Breton, Nova Scotia, Canada},
  MONTH = JUN,
  PUBLISHER = {{IEEE} Computer Society}
}

@ARTICLE{Shmat2001,
  AUTHOR = {Vitaly Shmatikov and John Mitchell},
  TITLE = {Finite-state Analysis of Two Contract Signing Protocols},
  JOURNAL = {Special issue of Theoretical Computer Science on security},
  YEAR = {2001},
  NOTE = {Accepted for publication.}
}