1. Perry, J. T., Winter, V., Siy, H., Srinivasan, S., Farkas, B. D., & McCoy, J. A. (2010). The difficulties of type resolution algorithms. Technical Report SAND2010-8745, Sandia National Laboratories.
2. McCoy, J.A. (2000). An embedded system for safe, secure and reliable execution of high consequence software. In Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), (pp. 107–114). IEEE.
3. Wickstrom, G. L., Davis, J., Morrison, S. E., Roach, S., & Winter, V. L. (2004). The SSP: An example of high-assurance system engineering. In HASE 2004: The 8th IEEE International Symposium on High Assurance Systems Engineering, (pp. 167–177). IEEE, Tampa, Florida, United States.
4. Lindholm, T., & Yellin, F. (Eds.). (1999). The Java virtual machine (2nd ed.). Boston: Addison-Wesley.
5. Winter, V. L., Siy, H., McCoy, J., Farkas, B., Wickstrom, G., Demming, D., et al. (2011). Incorporating standard Java libraries into the design of embedded systems. In K. Cai (Ed.), Java in academia and research. Brisbane: iConcept Press.