On observational equivalence and algebraic specification (1987)

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