David A. Schmidt On the Need for a Popular Formal Semantics. 115-116 1997 32 ACM SIGPLAN Notices 1 db/journals/sigplan/sigplan32.html#Schmidt97 https://doi.org/10.1145/251595.251617