The full-decomposition of sequential machines with the separate realization of the next-state and output functions - Jóžwiak, L. (EUT Report, 1989)