@techreport{HoefnerSolinMoeller2006,
  author    = {Peter H{\"o}fner and Kim Solin and Bernhard M{\"o}ller},
  title     = {Omega algebra, demonic refinement algebra and commands},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  series    = {Reports / Technische Berichte der Fakult{\"a}t f{\"u}r Angewandte Informatik der Universit{\"a}t Augsburg},
  number    = {2006-11},
  year      = {2006},
}