Are you sure you want to leave Paper?
Continue to http://www.cse.chalmers.se/~coquand/AUTOMATA/mcp.pdf
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^