Schmidt, L.; Tronstad, B. ACM (Association for Computing Machinery) Digital Library. ISTL 2007.