K. Wójtowicz, “Theory of quantum computation and philosophy of mathematics. Part I”, LLP, vol. 18, no. 3-4, pp. 313–332, Mar. 2010.