Charles G. Morgan: AUTOLOGIC at University of Victoria. CADE 1986: 699-700