Marc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63