On observational equivalence and algebraic specification (1987)

by D Sannella, A Tarlecki
Venue:Journal of Computer and System Sciences