"Holger Jernsten"@cs .