On Observational Equivalence and Algebraic Specification (1987)

by Donald Sannella , Andrzej Tarlecki
Citations:68 - 15 self