PakCat catalogue record Machines languages and computation By Denn Bibliographic details PublisherPrentice Hall