W. Frank King;Peter Weiner
-;-
Uniform Decomposition of Incompletely Specified Sequential Machines
IEEE Transactions on Computers