Jarkko Kari: On the Undecidability of the Tiling Problem. SOFSEM 2008: 74-82