Supplementary notes for an advanced DERIVE minicourse - Stoutemyer, David R (Soft Warehouse, 1991)