Author: International Workshop on Semantics of Specification Languages (1993 Utrecht, Netherlands)