Stapleton, G.; Rodgers, P.; Howse, J.; Taylor, J. Properties of Euler Diagrams. ECEASST 2007, 7.