C. J. van Rijsbergen Formal Semantics for Text and Data. 9 1985 SIGIR db/conf/sigir/sigir85.html#Rijsbergen85