Juliana Kaizer Vizzotto Thorsten Altenkirch Amr Sabry Structuring quantum effects: superoperators as arrows. 453-468 2006 16 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129506005287 db/journals/mscs/mscs16.html#VizzottoAS06