Source: https://www.cryptoninjas.net/2017/08/02/research-project-produces-first-complete-formal-semantics-ethereum-virtual-machine/