@inproceedings{skramer2004CPLPartIFCS,
	Title = {{C}ryptographic {P}rotocol {L}ogic. {P}art {I}: {L}anguage, {P}rocess {M}odel, {S}atisfaction},
	Year = {2004},
	Booktitle = {Proceedings of the LICS/ICALP-Affiliated Workshop on Foundations of Computer Security},
	Author = {S. Kramer}}