Cartea Formalisme si intrumente de descriere si prelucrare ale limbajului natural scrisa de Dan Cristea a aparut la Editura Universitatii A.I.Cuza Iasi.

Primul capitol face o trecere in revista a catorva teorii lingvistice si formalisme computationale. Prezentarea se opreste asupra abordarilor computationale cele mai cunoscute ce isi trag seva din aceste teorii. Capitolul al doilea prezinta limbajul L-exp. Descierea incepe cu un exemplu comentat. Sintaxa limbajului este apoi descrisa intr-o notatie apropiata de scrierea EBNF. Specificatii neformale insotesc definitiile sintactice. Dupa cateva comentarii asupra limbajului, se prezinta semantica limbajului. Capitolul al treilea este dedicat exemplificarii modului de programare in L-exp pentru realizarea de parseri si generatori de limbaj natural. Se incepe prin prezentarea modalitatilor de definire in L-exp a structurilor de date cele mai uzuale. Capitolul al patrulea trateaza probleme legate de achizitia de cunostinte in limbaj natural in vederea actualizarii automate a bazelor de date. Se propune un model de reprezentare a cunostintelor bazat pe retele semantice, model adecvat prelucrarii automate a informatiilor din texte. Cartea se incheie cu un capitol cuprinzand dezvoltari posibile ale limbajului si concluzii.