Annual review of computer science vol. 1, 1986