Relational specifications and observational semantics