Name game (8 points). Match the following names with an associated phrase. Use each letter once and only once.
A. Steve Cook _______ Incompleteness
B. Alan Turing _______ Reductions
C. Kurt Gödel _______ Computability
D. James Gosling _______ MS Word
E. Richard Karp _______ NP-completeness
F. Alan Kay _______ C++
G. Charles Simonyi _______ Java
H. Bjarne Stroustroup _______ Dynabook