There is some: https://arxiv.org/abs/quant-ph/0101012

And according to the first sentence of the summary the current formulation is axiomatic as well...