Thomas Bocek, Moritz Schneider: Programming Smart Contracts; 11th IFIP International Conference on Autonomous Infrastructure, Management, and Security (AIMS 2017), Zürich, Switzerland, July 2017, URL: http://www.aims-conference.org/2017/labs.html.