Text this: Quotient machines, the interface equation and protocol conversion.