Kim Solin: On Two Dually Nondeterministic Refinement Algebras. RelMiCS 2006: 373-387