Iterative and recursive matrix theories
semantics of nondeterministic programming languages
scientific article; zbMATH DE number 3836292