@Book {npw,
  author	= {T. Nipkow and L. C. Paulson and M. Wenzel},
  title		= {{Isabelle/HOL -- A Proof Assistant for Higher-Order Logic}},
  publisher	= {Springer},
  series	= {LNCS}, 
  year		= {2013}
}


@techreport {sj_TB08,
    author = {M.\ Spichkova and J.\ J\"urjens},
    title = {{Formal Specification of Cryptographic Protocols and Their Composition Properties: FOCUS-oriented approach}},
    institution = {Technische Universit\"at M\"unchen},
    year = {2008}
}

@article{FocusStreamsCaseStudies-AFP,
  author  = {Maria Spichkova},
  title   = {{Stream Processing Components: Isabelle/HOL Formalisation and Case Studies}},
  journal = {Archive of Formal Proofs},
  month   = nov,
  year    = 2013,
}
