Formal Semantics - pocket, Engelska, 1993