Frate, Gualtiero Fantoni and Francesca Montagna -- Formal model of computer-aided visual