Bibliografia

Principal

• Data Structures: Abstraction and Design Using Java:
• Elliot B. Koffman and Paul A. T. Wolfgang:
• Wiley:
• 2 edition (January 26, 2010):

Secundária

• Specifying and Monitoring Java Classes. V. Vasconcelos, A. Lopes e I. Nunes. Documento interno.: