Abstract Relational Specifications