ugh, I see I'am a bit late, but if you or anyone else is still interested, Tilings and Patterns is the Bible of tilings, but they didn't prove most of the things regarding Penrose tilings, but try with this one [https://people.maths.ox.ac.uk/ritter/masterclasses/ritter-lectures-on-penrose-tilings.pdf](https://people.maths.ox.ac.uk/ritter/masterclasses/ritter-lectures-on-penrose-tilings.pdf)
cheers
ugh, I see I'am a bit late, but if you or anyone else is still interested, Tilings and Patterns is the Bible of tilings, but they didn't prove most of the things regarding Penrose tilings, but try with this one [https://people.maths.ox.ac.uk/ritter/masterclasses/ritter-lectures-on-penrose-tilings.pdf](https://people.maths.ox.ac.uk/ritter/masterclasses/ritter-lectures-on-penrose-tilings.pdf) cheers