@article{mp:jsc1,
   author = {Gray, S. and Kajler, N. and Wang, P. S.},
   title = {{Design and Implementation of MP, a Protocol for Efficient
  Exchange of Mathematical Expressions}},
   note = {Forthcoming in {\sl Journal of Symbolic Computing}},
   pages = {},
   month ={},
   year = {1997}
}