The glossary entries Chevahir did. May be useful at some point.
The problems for the course Text and Digital Media at Jacobs University
Slides and notes for talks held by Michael Kohlhase