1. An optimization technique for protocol conformance test sequence generation based on UIO sequences and rural Chinese postman tours;Aho,1988
2. Matching, Euler tours and the Chinese postman;Edmonds;Math. Programming,1973
3. Introduction to the Theory of Finite-State Machines;Gill,1962
4. Reducibility among combinatorial problems;Karp,1972