Robert Berger, The undecidability of the domino problem, in Memoirs of the American Mathematical Society, vol. 66, 1966, p. 72, MR0216954. Berger conia il termine "tasselli di Wang" e dimostra per primo l'esistenza di un insieme di essi in grado di produrre una tassellatura aperiodica.