challenge: Who introduced the I/O automaton model in their 1987 paper 'Hierarchical correctness proofs for distributed algorithms'?
  
  A. Alonzo Church and Emil Post
  B. Stephen Cook and Richard Karp
  C. Nancy A. Lynch and Mark R. Tuttle
  D. Alan Turing and Kurt Gödel
  Answer: 