@inproceedings{Cr2008PCL,
  author	= {C.J.F. Cremers},
  title		= {On the Protocol Composition Logic {PCL}},
  booktitle	= {Proc. of the {ACM} Symposium on Information, Computer \& Communication Security ({ASIACCS} '08)},
  editor	= {M. Abe and V. Gligor},
  Publisher     = {ACM Press},
  year		= {2008},
  month		= {March},
  address	= {Tokyo},
  pages		= {66--76},
}