1. The Coq Proof Assistant.
https://coq.inria.fr/
. Accessed 30 May 2019
2. Berger, R.: The undecidability of the domino problem. Mem. Am. Math. Soc. 66, 72 (1966)
3. Cohen, M.F., Shade, J., Hiller, S., Deussen, O.: Wang tiles for image and texture generation. ACM Trans. Graph. 22(3), 287–294 (2003)
4. Culik, K.: An aperiodic set of 13 Wang tiles. Discr. Math. 160(1–3), 245–251 (1996)
5. Derouet-Jourdan, A.: Implementation of a linear algorithm for Brick Wang tiling.
https://github.com/KyushuUniversityMathematics/LinearWang
. Accessed 8 May 2017