Very Abstract Specifications: A Formalism Independent Approach