Formal semantics for the Cat programming language

Christopher Diggins has written a paper defining formal semantics for the Cat programming language. I've mentioned Cat here several times; it is currently at version 0.9.9.