. . . . . . . . . . "A property of sequential control processes"@en .