Martin Kempa Volker Linnemann Type Checking in XOBE. 227-246 2003 conf/btw/2003 BTW http://doesen0.informatik.uni-leipzig.de/proceedings/paper/64.pdf db/conf/btw/btw2003.html#KempaL03