Huth, M., Piterman, N. and Wang, H. (2009) “A workbench for preprocessor design and evaluation: toward benchmarks for parity games”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.324.