Characterizing specification languages which admit initial semantics
scientific article; zbMATH DE number 3852397
scientific article