Generalized bisimulation in relational specifications