Martin Kempa Volker Linnemann Type Safe Programming of XML-based Applications. 397-407 2004 conf/gi/2004-2 GI Jahrestagung (2) db/conf/gi/gi2004-2.html#KempaL04