Nuno Macedo, Hugo Pacheco, Alcino Cunha: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS 2012: 146-161