LAYER TYPES AS A TOOL FOR HIERARCHICAL OPERATING SYSTEM DESIGN IN CONCURRENT PASCAL. - Atwood, J. William; Beilkowicz, Piotr (INFOR, 1981)