A method for general simultaneous full decomposition of sequential machines. Algorithms and implementation - Jóžwiak, L. (EUT report 92-E-267, 1992)