NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods (1985 Grey College, University of Durham)