Undecidability and Nonperiodicity for Tilings of the Plane. Raphael M. Robinson (1971) Inventiones mathematicae
Undecidable Tiling Problems in the Hyperbolic Plane. Raphael M. Robinson (1978) Inventiones mathematicae