"Adolf Mach"@cs .