On Observational Equivalence and Algebraic Specification.

Donald Sannella Andrzej Tarlecki

Published in: J. Comput. Syst. Sci. (1987)

Keyphrases

high level
formal specification
databases
specification language
equivalence relation
bayesian networks
data structure
conceptual model