Archived tweet #9515 from the @leastfixedpoint Twitter ArchiveThe Blue Book is an intro to the language itself, of course, but also includes details of the approach to its implementation. Also I think the "red" book is more usually called the "orange" book, but I am a bit confused about the exact details?
