Joylyn Reed: Semantics-Based Tools for a Specification-Support Environment. MFPS 1987: 414-424