Renz, Peter (1981), «Mathematical proof: What it is and what it ought to be», The Two-Year College Mathematics Journal12 (2): 83-103, doi:10.2307/3027370..
Jeandel, Emmanuel; Rao, Michael (2015), «An aperiodic set of 11 Wang tiles», CoRR, Bibcode:2015arXiv150606492J.. (Showed an aperiodic set of 11 tiles with 4 colors)}