Notes and documentation materials by De Graaf on various topics