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