Vincent Mathieu, Jules Desharnais: Verification of Pushdown Systems Using Omega Algebra with Domain. RelMiCS 2005: 188-199