Thierry Paul Discrete-continuous and classical-quantum. 177-183 2007 17 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129507005956 db/journals/mscs/mscs17.html#Paul07a