Technical Reports of the Institute for System Software