Banihashemi, B.; Khan, S. M.; Soutchanski, M. From Actions to Programs As Abstract Actual Causes. AAAI 2022, 36, 5470-5478.