@tutorial{BS17,
	address = {Zürich, Switzerland},
	author = {Bocek, Thomas and Schneider, Moritz},
	month = {jul},
	title = {Programming Smart Contracts},
	url = {http://www.aims-conference.org/2017/labs.html},
	year = {2017}
}