Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems Book chapter (January 2009)