Quotient machines, the interface equation and protocol conversion. - Pengelly, A. D.; Ince, D. C. (Computer Journal, 2000)