1. ArchJava
2. Nels E. Beckman. 2010. Types for Correct Concurrent API Usage. Ph.D. Dissertation. Carnegie Mellon University 5000 Forbes Ave. Pittsburgh PA USA. CMU-ISR-10-131. Nels E. Beckman. 2010. Types for Correct Concurrent API Usage. Ph.D. Dissertation. Carnegie Mellon University 5000 Forbes Ave. Pittsburgh PA USA. CMU-ISR-10-131.
3. E. D. Berger S. M. Blackburn M. Hauswirth and M. Hicks. 2018. Empirical Evaluation Checklist (beta). http://www.sigplan.org/Resources/ EmpiricalEvaluation/ E. D. Berger S. M. Blackburn M. Hauswirth and M. Hicks. 2018. Empirical Evaluation Checklist (beta). http://www.sigplan.org/Resources/ EmpiricalEvaluation/