@mastersthesis{picco93:formalizzazione,
    author  = {Gian Pietro Picco},
    title   = {Formalizzazione di un processo software industriale: risultati e
     valutazioni},
    year    = {1993},
    month   = {July},
    address = {Piazza Leonardo da Vinci 23, 20100 Milano, Italy},
    school  = {Politecnico di Milano},
    note    = {In Italian. Advisor: Prof. Carlo Ghezzi}
}