ChristopherStrachey氏が関与していた(その他の人は論文を参照のこと).
氏