@book{
title = {Procedura},
author = {Mannuzzu, Salvatore},
year = {1988},
address = {Torino },
publisher = {Einaudi},
}