On fixpoint logics and equivalences for processes with restricted nondeterminism - Gutierrez, J (2015)