proceedings - Gibbs, P E (Cambridge University Press, 1985)