@article{Sawerwain:2009,
author
=
"M.Sawerwain and R.Gielerak",
title
=
"Natural quantum operational semantics with predicates",
journal
=
"International Journal of Applied Mathematics and Computer Science",
volume
=
"Vol. 18",
number
=
"no 3",
pages
=
"341--359",
year
=
"2008",
}