Seol mar théacs é seo: The Structure Of Computers And Computations David J. Kuck