Towards object-oriented modelling of euclidean geometry. - Maria Alberta Alberti; Eric Bastioli; Daniele Marini (Vis. Comput., 1995)