Fundamental Results for the Verification of Observational Equivalence: A Survey