Programming and proving with distributed protocol… https://blog.acolyer.org/2018/01/22/programming-and-proving-with-distributed-protocols/