pdf files

(there are also associated animations and movies)