Ethereum yellow paper - arealive/Viper GitHub Wiki
The "Yellow Paper": Ethereum's formal specification, served as the technical bible and de-facto specification for the Ethereum Virtual Machine (EVM).1
[1] https://blog.ethereum.org/2016/02/09/cut-and-try-building-a-dream/