Title: Some procedures for finding substitution property partitions, substitution property covers, and cover pairs for finite state sequential machines
Subjects: Sequential machine theory, Partitions (Mathematics)