There is some: https://arxiv.org/abs/quant-ph/0101012 https://arxiv.org/abs/quant-ph/0101012 And according to the first sentence of the summary the current for

There is some: https://arxiv.org/abs/quant-ph/0101012 https://arxiv.org/abs/quant-ph/0101012 And according to the first sentence of the summary the current formulation is axiomatic as well...