String matching cannot be done by a two-head one-way deterministic finite automaton - Li, Ming; Yesha, Yaacov (Cornell University <Ithaca, NY>, 1983)