Carti si manuale:
Introducere in teoria limbajelor
formale, Editura Academiei, 1983, 166 pag.
Logica matematica si teoria
multimilor, (cu M.Becheanu, C.Nastasescu si S.Rudeanu), Editura Didactica
si Pedagogica, 1973, 156 pag.
Curs de bazele informaticii(3
fascicole), Tipografia Universitatii Bucuresti, 1974/75, 23+20+18 = 61
pag.
Curs de bazele informaticii:
Limbaje rationale si automate, Tipografia Universitatii Bucuresti, a) editia
I, 1975, 34 pag. b) editia II, 1976, 61 pag.
Curs de bazele informaticii:
Partea I, Tipografia Universitatii Bucuresti, 1976, 76 pag.
Curs de scheme de programe:
Latici continue, Tipografia Universitatii Bucuresti, 1980, 121 pag.
Curs de scheme de programe:
Ecuatii recursive cu domenii, Tipografia Universitatii Bucuresti, 1981,
57 pag.
Curs de bazele informaticii:
Introducere in logica matematica, Tipografia Universitatii Bucuresti, 1981,
71 pag.
Curs de bazele informaticii:
Volumul I, Tipografia Universitatii Bucuresti, 1983, 144 pag.
Curs de bazele informaticii:
Volumul II, Tipografia Universitatii Bucuresti, 1983, 175 pag.
Bazele informaticii: Lectii
de logica matematica, (cu C.Calude) Tipografia Universitatii Bucuresti,
1984, 94 pag.