@mastersproject{HP20,
	address = {Zürich, Switzerland},
	author = {Hurwitz, Simon and Polyanskyy, Dmytro},
	organization = {Communication Systems Group, Department of Informatics},
	institution = {Universität Zürich},
	month = {jun},
	title = {ARVV: Automated Refinement, Validation, and Verification of Financial Contracts},
	url = {https://files.ifi.uzh.ch/CSG/staff/rodrigues/extern/theses/mp-simon-dmytro.pdf},
	year = {2020}
}