Full threadtenant·Nisan and Schocken's "The elements of computing systems" should be on this list. I'd have it at number 1View on HN