Mathematical methods in linguistics - Partee, Barbara Hall.; Wall, Robert Eugene.; Meulen, Alice G. B. ter. (Kluwer Academic, 1990)