@article{IJAMCS_2008_18_3_a7,
     author = {Sawerwain, M. and Gierelak, R.},
     title = {Natural quantum operational semantics with predicates},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {341--359},
     publisher = {mathdoc},
     volume = {18},
     number = {3},
     year = {2008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IJAMCS_2008_18_3_a7/}
}