"Torborg Nedreaas"@cs .