Ronald de Haan, Stefan Szeider: Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP. SOFSEM 2015: 217-229