Waithe, S.W., Kerridge, J.M., "An Appreciation of the Subtleties of Shared Channels in occam3", , 1993