with Mossakowski, T. , Codescu, M. , Kutz, O. , 2015, The distributed ontology, modeling and specification language – dol, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 489-520.