1. Arnold, A.: The μ-calculus alternation-depth hierarchy is strict on binary trees. ITA 33(4/5), 329–340 (1999)
2. Arnold, A., Niwiński, D.: Continuous separation of game languages. Fundamenta Informaticae 81(1-3), 19–28 (2007)
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)
4. Blackwell, D.: Borel–programmable functions. Ann. of Probability 6, 321–324 (1978)
5. Lecture Notes in Computer Science;J. Bradfield,1996