The distributed ontology, modeling and specification language -- DOL (2013)

by Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange