Thierry Paul 3-body, classical-quantum, discrete-continuous. 173-175 2007 17 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129507005932 db/journals/mscs/mscs17.html#Paul07