Hacker News Reader

Can anyone point me to a paper giving Clojure's formal semantics, if there is one?

I think this is as close as it gets:

The documentation at http://clojure.org/ is pretty good as well.