Bhed Bahadur Bista Atsushi Togashi Norio Shiratori Extension of protocol synthesis to structured entities. 66-73 1995 conf/icnp/1995 ICNP http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524820 db/conf/icnp/icnp1995.html#BistaTS95