Peter van Eijk J. Schot An Exercise in Protocol Synthesis. 117-131 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#EijkS91