Appendix A. References
[Abelson1996] Harold Abelson, Gerald Jay Sussman, and Julie Sussman, Structure and Interpretation of Computer Programs, MIT Press, 1996
[AbstractDT] Abstract Data Types, http://en.wikipedia.org/wiki/Abstract_data_type
[ACID] ACID, http://en.wikipedia.org/wiki/ACID
[Agha1987] Gul Agha, Actors, MIT Press, 1987
[Akka] Akka, http://akka.io/
[AlgebraicDT] Algebraic Data Types, http://en.wikipedia.org/wiki/Algebraic_data_type
[Anorm] Anorm, SQL Data Access with Play Scala, http://scala.playframework.org/documentation/scala-0.9.1/anorm
[Baldwin2000] Carliss Baldwin and Kim B. Clark, Design Rules: The Power of Modularity, Vol. 1, MIT Press, 2000
[Bird2010] Richard Bird, Pearls of Functional Algorithm Design, Cambridge University Press, 2010
[Bloch2008] Joshua Bloch, Effective Java Second Edition, Addison-Wesley, 2008
[Caml] The Caml Language, http://ocaml.inria.fr
[CategoryTheory] Category Theory, http://en.wikipedia.org/wiki/Category_theory
[Channel9] Channel 9, http://http://channel9.msdn.com/
[ChurchEncoding] Church Encoding, http://en.wikipedia.org/wiki/Church_numeral
[Clojure] Clojure, http://clojure.org
[CombinatoryLogic] CombinatoryLogic, http://en.wikipedia.org/wiki/Combinatory_logic
[Contract4J] Contract4J: Design by Contract for Java, http://polyglotprogramming.com/contract4j
[Eckel2011] Bruce Eckel, Scala: The Static Language That Feels Dynamic, http://www.artima.com/weblogs/viewpost.jsp?thread=328540
[Erlang] Erlang Programming Language, http://www.erlang.org/
[Ford2011] ...