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