PakCat catalogue record Algorithms and automatic computing machines By Trakhlenbrot, B.A Bibliographic details PublisherD.C. Death Co Publication year1963