Bibliography

[Bar85]
H.P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North Holland Publishing Co., Amsterdam, Netherlands, 1985.
[Han01]
Per Brinch Hansen. Classic Operating Systems: From Batch Processing to Distributed Systems. Springer-Verlag, New York, NY, 2001.
[Hof99]
Douglas R. Hofstadter. Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, New York, NY, 20th Anniv, 1999.
[HT00]
Andrew Hunt and David Thomas. The Pragmatic Programmer: From Journeyman to Master. Addison-Wesley, Boston, MA, 2000.
[Pie02]
Benjamin C. Pierce. Types and Programming Languages. MIT Press, Cambridge, MA, 2002.
[Tuf06]
Edward Tufte. Beautiful Evidence. Graphics Press, Cheshire, CT, 2006.

Get Scalable Cloud Ops with Fugue now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.