Structural operational semantics and bounded nondeterminism
scientific article; zbMATH DE number 2055232