Mathematical methods in linguistics - Partee, Barbara Hall (Kluwer Academic, 1993)