Joseph Goguen

Latest

• An Operational Semantics for FOOPS