I'd consider (in addition or alternative) to link to a new
http://plv.mpi-sws.org/iris/appendix-master.pdf, always matching the latest
version.