On fixpoint logics and equivalences for processes with restricted nondeterminism
scientific article; zbMATH DE number 7009539