1. Lecture Notes in Computer Science;A. Bianco,1995
2. Canny, J.: Some algebraic and geometric computations in PSPACE. In: STOC 1988, pp. 460–467. ACM, New York (1988)
3. Chatterjee, K., de Alfaro, L., Henzinger, T.: Trading memory for randomness. In: QEST 2004, IEEE, Los Alamitos (2004)
4. Chatterjee, K., Jurdziński, M., Henzinger, T.: Quantitative stochastic parity games. In: SODA 2004, ACM-SIAM (2004)
5. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press and McGraw-Hill (1990)