LPAR 2002: Short Contributions; CSL 2003: Extended Posters. KGS Wien, 2004, VIII+110pp, ISBN 3-901546-03-0. orderform-vol8.pdf