@article {DHondt2006,
	title = {{Q}uantum weakest preconditions},
	journal = {Mathematical Structures in Computer Science},
	volume = {16},
	number = {3},
	year = {2006},
	note = {quant-ph/0501157},
	pages = {1{\~A}{\textcent}{\^a}{\quotesinglbase}{\textlnot}{\^a}{\texteuro}{\oe}23},
	keywords = {QPL},
	url = {http://arxiv.org/abs/quant-ph/0501157},
	author = {Ellie D{\textquoteright}Hondt and Prakash Panangaden}
}
