When it came to the description of "einsteins" (a single tile aperiodic tessellation), I couldn't help but think of the images in the 3rd edition of The Scheme Programming Language:

http://www.scheme.com/tspl3/binding.html#./binding:h0

http://www.scheme.com/tspl3/examples.html#./examples:h0

...Are there holes in those "tilings", or are the tiles not all the same shape, or am I misunderstanding what non-periodic means in this context?

And what is the name for those types of "self-surrounding" tiles on the cover:

http://www.scheme.com/tspl3/canned/large-cover.png