Mathematical Methods in Linguistics, Partee, Barbara B.H., ter Meulen, A.G., Wall, R., Springer, 1990.

A N.Bourbaki Type General Theory and the Properties of Contracting Symbols and Coressponding Contracted Forms , Shalva Pkhakadze, Georgian Mathematical Journal, Vol.6, No.2, pp.179-190, 1999.

Languages in a Globalising World , Edited by Jacques Maurais, Michael A. Morris, Cambridge, 2003.

Foundations of computational linguistics: human-computer communication in natural language, Roland R. Hausser, Springer, 2001.

Handbook of logic and language, Edited by Johan van Benthem, Alice ter Meulen, MIT Press, 1997.

Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition, (2nd Edition), Dan Jurafsky, James H. Martin, Prentice Hall, 2009.