Structural operational semantics through context-dependent behaviour
scientific article; zbMATH DE number 5947184
scientific article