F. D. Rolland

• Programming with VDM
• Relational database management with Oracle
• The essence of databases
• SQL