Peter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234