J. Dawes

• The ways of wisdom and other sermons
• Computer Compilers 1990 Annual
• The VDM-SL reference guide