@article{Gielerak:2010,
author
=
"R.Gielerak and M.Sawerwain",
title
=
"Generalised quantum weakest preconditions",
journal
=
"Quantum Information Processing",
volume
=
"Vol. 9",
number
=
"no 4",
pages
=
"441--449",
year
=
"2010",
}