Clack, C. D., & Vanca, G. (2018). Temporal aspects of smart contracts for financial derivatives. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11247 LNCS, 339-355. doi:10.1007/978-3-030-03427-6_26