"B. A. Trachtenbrot"