Simon Hurwitz, Dmytro Polyanskyy: ARVV: Automated Refinement, Validation, and Verification of Financial Contracts; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, June 2020, URL: https://files.ifi.uzh.ch/CSG/staff/rodrigues/extern/theses/mp-simon-dmytro.pdf.