Francis, P.(2020). Specification of Diffix Cedar (MPI-SWS-2020-006). Saarbrücken: Max Planck Institute for Software Systems.