Rémi Douence, Olivier Motelet, Mario Südholt: A Formal Definition of Crosscuts. Reflection 2001: 170-186