An Optimization Technique for Protocol Conformance Testing Using Multiple Uio Sequences. - Wen-Huei Chen; Ching-Sung Lu; Elben R. Brozovsky; Jin-Tuu Wang (Inf. Process. Lett., 1990)