Venue. PLPV Workshop on Programming Languages meets Program Verification · Workshop · ACM 2007 Observational equality, now! altenkirch-2007-observationalPLPV · 2007 DOI