A polynomial time algorithm to infer sequential machines. - Takahashi, Katsuhiko; Fujiyoshi, Akio; Kasai, Takumi (Systems & Computers in Japan, 2003)