Bibliografia
Principal
- Benjamin Pierce. Types and Programming Languages. MIT press, 2002 Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug Lea. Java Concurrency in Practice. Addison-Wesley, 2006. Scientific papers on topics not directly covered by the textbooks: