Equational reasoning about nondeterministic processes
scientific article; zbMATH DE number 4143481
scientific article