Rocco De Nicola, Vincenzo Manca Semantica denotazionale ed algebrica dei linguaggi di programmazione cod. 272.7
Enrico Dameri, Carlandrea Simonelli Validazione, verifica e testing del processo di sviluppo software cod. 272.8