On Observational Equivalence and Algebraic Specification (1987)

by Donald Sannella , Andrzej Tarlecki
Citations:66 - 17 self