An exercise in protocol synthesis / Peter van Eijk, Jeroen Schot