"Adolf Jensen"@cs .