Information processing machines - Czechoslovak Academy of Sciences, Research Institute of Mathematical Machines, Prague (Academia, 1967)