"In Formal Verification Push, Ethereum Seeks Smart Contract Certainty".
2016년 12월 14일에 확인함.  “In Formal Verification Push, Ethereum Seeks Smart Contract Certainty”. 《CoinDesk》 (News).