Varieties of formal semantics proc. 1982 by