David Janin: On the (High) Undecidability of Distributed Synthesis Problems. SOFSEM (1) 2007: 320-329