An operational semantics for (1994)

by P Borba, J A Goguen
Venue:FOOPS,” International Workshop on Information Systems: Correctness and Reusability (IS-CORE ’94), Vrije Universiteit te