A protocol synthesis algorithm: a relational approach. - Kacem Zeroual; M. El Yassini (ICNP, 1995)