Title: Annual Review of Computer Science, 1987