Language support for designing multilevel computer systems. - G. David; I. Losonczi; S. D. Papp (CONPAR, 1981)