@book(dvanhorn:sicp,
)
@article(dvanhorn:Allen2002DrJava,
 doi          = "10.1145/563517.563395",
)
@inproceedings(dvanhorn:Alphonce2003Using,
 doi          = "10.1145/949344.949391",
)
@inproceedings(local:barland-sfp10,
)
@article(dvanhorn:Bloch2000Scheme,
)
@inproceedings(dvanhorn:Bruce2001Library,
 doi          = "10.1145/366413.364527",
)
@article(dvanhorn:Chakravarty2004Risks,
 doi          = "10.1017/S0956796803004805",
)
@book(dvanhorn:Felleisen2001How,
)
@article(dvanhorn:Felleisen2004Structure,
 doi          = "10.1017/s0956796804005076",
)
@inproceedings(dvanhorn:Felleisen2009Functional,
 doi          = "10.1145/1631687.1596561",
)
@book(local:htdc,
 url          = "http://www.ccs.neu.edu/home/matthias/htdc.html",
)
@article(dvanhorn:Findler2002DrScheme,
 doi          = "10.1017/s0956796801004208",
)
@book(samth:GOF,
)
@techreport(local:check-expect,
)
@inproceedings(dvanhorn:Gray2003ProfessorJ,
 doi          = "10.1145/949344.949394",
)
@article(dvanhorn:Hsia2005Taming,
 doi          = "10.1145/1047124.1047459",
)
@book(dvanhorn:Kaufmann2000ComputerAided,
)
@article(dvanhorn:Kolling2003,
)
@misc(local:c0,
 url          = "http://c0.typesafety.net/doc/c0-reference.pdf",
)
@misc(local:java-world,
 url          = "http://www.ccs.neu.edu/javalib/",
)
@inproceedings(dvanhorn:Proulx2006Design,
 doi          = "10.1145/1121341.1121431",
)
@inproceedings(dvanhorn:Ragde2008Chilling,
 doi          = "10.1145/1411260.1411263",
)
@misc(local:spolsky,
 url          = "http://www.joelonsoftware.com/articles/ThePerilsofJavaSchools.html",
)