On Observational Equivalence and Algebraic Specification (1987)

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

Document Versions

On Observational Equivalence and Algebraic Specification –Donald Sannella, Andrzej Tarlecki — 1987