Eike Best, Raymond Devillers, Uli Schlachter: A Graph-Theoretical Characterisation of State Separation. SOFSEM 2017: 163-175