Position paper.
White paper.(Note that the language has been superseeded)
Formal specification of the smart contract language.

Follow @l_m_goodman
Email: [email protected]