Rocco De Nicola, Vincenzo Manca Semantica denotazionale ed algebrica dei linguaggi di programmazione cod. 272.7