Till Mossakowski
The distributed ontology, modeling and specification language – dol
2015
in: The road to universal logic II, Basel : Birkhäuser
Institutional 2-cells and grothendieck institutions
2006
in: Algebra, meaning, and computation, Dordrecht : Springer