Cameron E. Freer, Daniel M. Roy: Computable de Finetti measures. Ann. Pure Appl. Log. 163(5): 530-546 (2012)