Borba, Paulo and Joseph Goguen, An operational semantics for FOOPS, In Roel Wieringa and Remco Feenstra, editors, International Workshop on Information Systems - Correctness and Reusability, IS-CORE'94, Technical Report IR-357. Vrije Universiteit, Amsterdam, September 1994. A longer version appeared as Technical Monograph PRG-115, Oxford University Computing Laboratory, November 1994. (1994) |