Developing a Compiler for EROP - A Language for the Specification of Smart Contracts, An Experience Report. - Adrian Delchev; Ioannis Sfyrakis; Ellis Solaiman (CoRR, 2023)