Bialgebraic methods and modal logic in structural operational semantics
scientific article; zbMATH DE number 5543807
scientific article