wyant@APOLLO.UUCP (Geoffrey Wyant) (02/26/86)
Has anyone done a (denotational) sematic definition of modula-2 ? Thanks, Geoff Wyant -------