Jari Arkko: On the Existence and Production of State Identification Machines for Labelled Transition Systems. FORTE 1993: 351-366