Structured theories and institutions
scientific article; zbMATH DE number 2110999
scientific article