Does any formal specification of Clojure exist? May be not official one... Imagine if want to implement new target for Clojure, where can I start besides of reading sources?

No, there is no spec- the reference pages on http://clojure.org are about as close as it gets