@article {Danos2008,
	title = {{C}lassical knowledge for quantum cryptographic reasoning},
	journal = {Proc. 3rd International Workshop on Development of Computational Models (DCM 2007)},
	volume = {192},
	number = {3},
	year = {2008},
	pages = {39{\~A}{\textcent}{\^a}{\quotesinglbase}{\textlnot}{\^a}{\texteuro}{\oe}58},
	publisher = {Elsevier},
	issn = {1571-0661},
	doi = {10.1016/j.entcs.2008.10.023},
	author = {Vincent Danos and Ellie D{\textquoteright}Hondt}
}
