The Algorithm of a Synthesis Technique for Concurrent Systems. - Yuh Yaw; Fuin-Law; Wei-De Ju (PNPM, 1989)