Relational Specifications and Observational Semantics.

Egidio Astesiano, Gianna Reggio, Martin Wirsing

Browse the full MFCS paper archive.