Axiomatizing complete positivity. - Oscar Cunningham; Chris Heunen (QPL, 2015)

Purity through Factorisation. - Oscar Cunningham; Chris Heunen (QPL, 2017)