Text this: LAYER TYPES AS A TOOL FOR HIERARCHICAL OPERATING SYSTEM DESIGN IN CONCURRENT PASCAL.