DML 2008 : towards digital mathematics library : Birmingham, UK, July 27th, 2008 : proceedings - Sojka, Petr, 1963- (Masaryk University, 2008)