G. Dávid I. Losonczi S. D. Papp Language support for designing multilevel computer systems. 85-100 1981 conf/conpar/1981 CONPAR db/conf/conpar/conpar1981.html#DavidLP81 http://dx.doi.org/10.1007/BFb0105111