Stephen Roy Dillon

• Some procedures for finding substitution property partitions, substitution property covers, and cover pairs for finite state sequential machines