"An Institutional Foundation for the K Semantic Framework."

Claudia Elena Chirita, Traian-Florin Serbanuta (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics