Relative Equational Specification and Semantics

Relative Equational Specification and Semantics

Authors
J. E. Hannay