Green, Elizabeth, Ritchie, Felix, Smith, James, "Understanding output checking", , 2020