Traian Florin Șerbănuță. Programming Language Design and Analysis: a rewriting approach. Editura Universității ”Alexandru Ioan Cuza“, 2012. Această carte este o reeditare revizuită a tezei de doctorat a autorului.

Dorel Lucanu, Traian Florin Șerbănuță and Grigore Roșu. Towards a Kool future. In Theory and Practice of Formal Methods, pages 325–343. Springer International Publishing, 2016.