Functional Specification of Processes