Algoritmy a strojové řešení úloh - Trachtenbrot, B. A. (Československá akademie věd, 1963)