"Fun with Bitcoin smart contracts" by

Massimo Bartoletti, Tiziana Cimoli & Roberto Zunino.

https://eprint.iacr.org/2018/398.pdf