Verifying Smart Contract Transformations Using Bisimulations. - Kegan McIlwaine; James L. Caldwell (FMBC, 2025)