. . . "A sequence (procedure) within a process thus on the one hand may be modelled by basic types and on the other hand also by way of activities which in turn consist of basic types." .