Formal semantics - Eijck, Jan van 1951- (1990)
Keywords: Semantics