Stroje na zpracování informací. (Nakladatelství ČSAV ČSAV Laboratoř matemat. strojů)