คริสโตเฟอร์ สแตรชีย์
ภาพพิมพ์จากคอมพิวเตอร์ของ Strachey ประมาณทศวรรษ 1960
เกิด	คริสโตเฟอร์ เอส. สแตรชี ( 16 พฤศจิกายน 1916 )16 พฤศจิกายน 2459 แฮมป์สเตดประเทศอังกฤษ
เสียชีวิต	18 พฤษภาคม 2518 (18 พฤษภาคม 1975)(อายุ 58 ปี) อ็อกซ์ฟอร์ดประเทศอังกฤษ
การศึกษา	มหาวิทยาลัยเคมบริดจ์ ( ปริญญาตรี )
เป็นที่รู้จักในด้าน	หมากฮอส ซีพีแอล ความหมายเชิงความหมาย การแบ่งเวลาใช้งาน แนวคิดพื้นฐานในภาษาโปรแกรม (1967)
ผู้ปกครอง	โอลิเวอร์ สแตรชีย์ (พ่อ) เรย์ คอสเตลโล (แม่)
ตระกูล	สแตรชีย์
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	วิทยาการคอมพิวเตอร์
สถาบันต่างๆ	มหาวิทยาลัยเคมบริดจ์ มหาวิทยาลัยออกซ์ฟอร์ด โรงเรียนเซนต์เอ็ดมันด์ เมืองแคนเทอร์เบอรี โรงเรียนแฮร์โรว์
นักศึกษาปริญญาเอก	ปีเตอร์ มอสเซส เดวิด เทอร์เนอร์

คริสโตเฟอร์ เอส. สแตรชี ( / ˈ s t eɪ tʃ i / STRAY -chee ; 16 พฤศจิกายน 1916 – 18 พฤษภาคม 1975) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวอังกฤษ[ ^{1 ] [ 2 ] [ 3 ] เขา} เป็น ผู้บุกเบิก การออกแบบ ภาษาโปรแกรมและเป็นหนึ่งในผู้ก่อตั้งความหมายเชิงสัญลักษณ์และการแบ่งเวลาใช้งาน คอมพิวเตอร์ ^{[ 4 ]}เขาบัญญัติศัพท์หลายคำที่ใช้กันอย่างแพร่หลายในวิทยาศาสตร์คอมพิวเตอร์ รวมถึงpolymorphismและreferential transparency [ ^{5 ] เขา}ได้รับการยกย่องว่าเป็นนักพัฒนาเกมวิดีโอคนแรก[ 6 ^{]เขาเป็น}สมาชิกของ ตระกูล สแตรชีซึ่งสมาชิกหลายคนมีบทบาทสำคัญในด้านรัฐบาล ศิลปะ การบริหาร และวิชาการ

คริสโตเฟอร์ เอส. สแตรชี เกิดเมื่อวันที่ 16 พฤศจิกายน 1916 ที่ แฮมป์สเตดประเทศอังกฤษ โดยมีบิดาชื่อ โอลิเวอร์สแตร ชี และมารดาชื่อเรย์ สแตรชี ( นามสกุลเดิมคอสเตลโล) โอลิเวอร์ สแตรชี เป็นบุตรชายของ ริชาร์ด สแตรชี และเป็นเหลนของเซอร์เฮนรี สแตรชี บารอนเน็ตคนที่ 1พี่สาวของเขาคือบาร์บารา สแตรชี นักเขียน ในปี 1919 ครอบครัวย้ายไปอยู่ที่ 51 กอร์ดอน สแควร์ ครอบครัวสแตรชีเป็นสมาชิกของกลุ่มบลูมส์เบอรีซึ่งมีสมาชิก คนสำคัญ ได้แก่ เวอร์จิเนีย วูล์ฟจอห์น เมย์นาร์ด เคนส์และลิตตัน สแตรชี ลุงของสแตรชี เมื่ออายุ 13 ปี สแตรชีเข้าเรียนที่โรงเรียนเกรแชมซึ่งเขาแสดงให้เห็นถึงความฉลาดหลักแหลม แต่โดยทั่วไปแล้วผลการเรียนไม่ดีนัก เขาได้รับการเข้า เรียนที่ คิงส์คอลเลจ เคมบริดจ์ (วิทยาลัยเดียวกับอลัน ทัวริง ) ในปี 1935 แต่เขาก็ยังคงละเลยการเรียน สแตรชีเรียนคณิตศาสตร์ก่อนแล้วจึงย้ายไปเรียนฟิสิกส์เมื่อสิ้นสุดปีที่สามที่เคมบริดจ์สแตรชีประสบกับภาวะทางจิตใจที่ย่ำแย่ ซึ่งอาจเกี่ยวข้องกับการยอมรับความเป็นเกย์ ของเขา เขาจึงกลับไปเรียนที่เคมบริดจ์ แต่ได้เกรดเพียง "ต่ำกว่าอันดับสอง" ในหลักสูตรวิทยาศาสตร์ธรรมชาติ^{[ 7 ]}

เนื่องจากไม่สามารถศึกษาต่อได้ สแตรชีจึงเข้าร่วมงานกับบริษัทสแตนดาร์ด เทเลโฟน แอนด์ เคเบิลส์ (STC) ในตำแหน่งนักฟิสิกส์วิจัย งานแรกของเขาคือการวิเคราะห์ทางคณิตศาสตร์สำหรับการออกแบบหลอดอิเล็กตรอนที่ใช้ในเรดาร์ความซับซ้อนของการคำนวณทำให้ต้องใช้เครื่องวิเคราะห์เชิง อนุพันธ์ ประสบการณ์ครั้งแรกกับเครื่องคำนวณนี้จุดประกายความสนใจของสแตรชี และเขาเริ่มทำการวิจัยในหัวข้อนี้ การสมัครเรียนปริญญาโทหรือปริญญาเอกที่มหาวิทยาลัยเคมบริดจ์ถูกปฏิเสธ และสแตรชีจึงทำงานที่ STC ต่อไปตลอดช่วงสงครามโลกครั้งที่สองหลังสงคราม เขาได้ทำความฝันที่ตั้งไว้มานานให้เป็นจริงด้วยการเป็นครูที่โรงเรียนเซนต์เอ็ดมันด์ เมืองแคนเทอร์เบอรีสอนวิชาคณิตศาสตร์และฟิสิกส์ สามปีต่อมา เขาได้ย้ายไปโรงเรียนแฮร์โรว์ อันทรงเกียรติกว่า ในปี 1949 และอยู่ที่นั่นเป็นเวลาสามปี

ในเดือนมกราคม พ.ศ. 2494 เพื่อนคนหนึ่งได้แนะนำเขาให้รู้จักกับไมค์ วูดเจอร์แห่งห้องปฏิบัติการฟิสิกส์แห่งชาติ (NPL) ห้องปฏิบัติการแห่งนี้ประสบความสำเร็จในการสร้างเวอร์ชันย่อของเครื่องคำนวณอัตโนมัติ (ACE) ของอลัน ทัวริง ซึ่งมีแนวคิดมาตั้งแต่ปี พ.ศ. 2488 นั่นคือPilot ACEในเวลาว่าง สแตรชีได้พัฒนาเกมวิดีโอหมากรุกในเดือนพฤษภาคม พ.ศ. 2494 นี่อาจเป็นเกมวิดีโอเกมแรก เกมนี้ใช้หน่วยความจำของ Pilot ACE จนหมด โปรแกรมหมากรุกล้มเหลวเนื่องจากข้อผิดพลาดของโปรแกรมเมื่อรันครั้งแรกที่ NPL ในวันที่ 30 กรกฎาคม พ.ศ. 2494 ^{[ 8 ]}เมื่อสแตรชีได้ยินเกี่ยวกับManchester Mark 1ซึ่งมีหน่วยความจำที่ใหญ่กว่ามาก เขาจึงขอคู่มือจากอลัน ทัวริง อดีตเพื่อนร่วมชั้นเรียนของเขา และถอดความโปรแกรมของเขาลงในรหัสการทำงานของเครื่องนั้นประมาณเดือนตุลาคม พ.ศ. 2494 ภายในฤดูร้อนปี พ.ศ. 2495 โปรแกรมสามารถ "เล่นเกมหมากรุกได้อย่างสมบูรณ์ด้วยความเร็วที่เหมาะสม" ^{[ 9 ] [ 10 ]}แม้ว่าเขาจะไม่ได้ตั้งชื่อเกมนี้ แต่Noah Wardrip-Fruinตั้งชื่อมันว่า "MUC Draughts" ^{[ 11 ]}

Strachey ได้เขียนโปรแกรม ดนตรีคอมพิวเตอร์ชุดแรกในอังกฤษ ซึ่งเป็นการบันทึกดนตรีที่เล่นโดยคอมพิวเตอร์ครั้งแรก: การบรรเลงเพลงชาติอังกฤษ " God Save the King " บนคอมพิวเตอร์ Ferranti Mark 1ของมหาวิทยาลัยแมนเช สเตอร์ในปี 1951 ต่อมาในปีเดียวกันนั้น หน่วยกระจายเสียงภายนอกของ BBCได้บันทึกส่วนสั้นๆ ของเพลงสามเพลงได้แก่ "God Save the King", " Baa, Baa, Black Sheep " และ " In the Mood " นักวิจัยที่มหาวิทยาลัยแคนเทอร์เบอรี ไครสต์เชิร์ช ได้บูรณะแผ่นมาสเตอร์อะซิเตตในปี 2016 และสามารถฟังผลลัพธ์ได้^บน SoundCloud ^{[ 12} ] ^{[ 13 ]}

ในช่วงฤดูร้อนของปี พ.ศ. 2495 Strachey ได้เขียนโปรแกรมสร้างจดหมายรักสำหรับFerranti Mark 1ซึ่งถือเป็นตัวอย่างแรกของ วรรณกรรมที่ สร้างโดยคอมพิวเตอร์^{[ 14 ]}

ในเดือนพฤษภาคม พ.ศ. 2495 Strachey ได้บรรยายสองตอนเกี่ยวกับ "การศึกษาการควบคุมในสัตว์และเครื่องจักร" (" ไซเบอร์เนติกส์ ") สำหรับรายการScience SurveyของBBC Home Service ^{[ 15 ] [ 16 ]}

สแตรชีทำงานให้กับNational Research Development Corporation (NRDC) ตั้งแต่ปี 1952 ถึง 1959 ในระหว่างที่ทำงานในโครงการ St. Lawrence Seaway เขาได้มีโอกาสเยี่ยมชมศูนย์คอมพิวเตอร์หลายแห่งในสหรัฐอเมริกาและจัดทำรายการชุดคำสั่ง ของศูนย์เหล่านั้น ต่อมา เขาได้ทำงานเกี่ยวกับการเขียนโปรแกรมสำหรับ คอมพิวเตอร์ Elliott 401และ คอมพิวเตอร์ Ferranti Pegasusร่วมกับโดนัลด์ บี. กิลลีส์ เขาได้ยื่นจดสิทธิบัตรด้านการออกแบบคอมพิวเตอร์สามฉบับ รวมถึงการออกแบบรีจิสเตอร์ฐานสำหรับการย้ายตำแหน่งโปรแกรม เขายังทำงานเกี่ยวกับการวิเคราะห์การสั่นสะเทือนในเครื่องบิน โดยทำงานร่วมกับ โรเจอร์ เพนโรสใน ช่วงสั้นๆ

ในปี 1959 สแตรชีลาออกจาก NRDC เพื่อไปเป็นที่ปรึกษาด้านคอมพิวเตอร์ โดยทำงานให้กับ NRDC, EMI , Ferrantiและองค์กรอื่นๆ ในโครงการต่างๆ ที่หลากหลาย งานเหล่านี้รวมถึงการออกแบบเชิงตรรกะสำหรับคอมพิวเตอร์ การเขียนโค้ดอัตโนมัติและต่อมาคือการออกแบบภาษาโปรแกรมระดับสูงสำหรับสัญญาจ้างเขียนโค้ดอัตโนมัติสำหรับ คอมพิวเตอร์ Ferranti Orionสแตรชีได้ว่าจ้างปีเตอร์ แลนดินซึ่งกลายเป็นผู้ช่วยเพียงคนเดียวของเขาตลอดระยะเวลาที่สแตรชีเป็นที่ปรึกษา

Strachey พัฒนาแนวคิดเรื่องการแบ่งเวลาใช้งานในปี พ.ศ. 2492 ^{[ 17 ] [ 18 ]}เขาได้ยื่นคำขอจดสิทธิบัตรในเดือนกุมภาพันธ์ของปีนั้น และได้นำเสนอเอกสารเรื่อง "การแบ่งเวลาใช้งานในคอมพิวเตอร์ความเร็วสูงขนาดใหญ่" ในการประชุมการประมวลผลข้อมูล UNESCO ครั้งแรก ที่กรุงปารีส ซึ่งเขาได้ส่งต่อแนวคิดนี้ให้กับJCR Licklider [ ^{19 ] [ 20 ] บทความ}นี้ได้รับการยกย่องจากศูนย์การคำนวณ MITในปี พ.ศ. 2506 ว่าเป็น "เอกสารฉบับแรกเกี่ยวกับคอมพิวเตอร์แบบแบ่งเวลาใช้งาน" ^{[ 4 ]}

ในปี 1962 ขณะที่ยังคงดำรงตำแหน่งที่ปรึกษา เขาได้ตอบรับตำแหน่งงานที่มหาวิทยาลัยเคมบริดจ์

ในปี พ.ศ. 2508 Strachey ได้รับตำแหน่งที่มหาวิทยาลัยออกซ์ฟอร์ดในฐานะผู้อำนวยการคนแรกของกลุ่มวิจัยการเขียนโปรแกรมและต่อมาเป็นศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์คนแรกของมหาวิทยาลัย และเป็นสมาชิกของวิทยาลัย Wolfson แห่งออกซ์ฟอร์ด [ ^{21 ] เขา}ร่วมมือกับDana Scott

Strachey ได้รับเลือกเป็นสมาชิกกิตติมศักดิ์ของBritish Computer Societyในปี พ.ศ. 2514 จากผลงานบุกเบิกด้านวิทยาศาสตร์คอมพิวเตอร์^{[ 22 ]}

ในปี พ.ศ. 2516 Strachey (ร่วมกับRobert Milne ) เริ่มเขียนเรียงความเพื่อส่งเข้า ประกวด รางวัล Adams Prizeหลังจากนั้นพวกเขาก็ทำงานต่อเพื่อแก้ไขเรียงความนั้นให้เป็นรูปแบบหนังสือ Strachey เข้าร่วมการโต้วาที Lighthill ปี พ.ศ. 2516 เกี่ยวกับปัญญาประดิษฐ์กับJohn McCarthyและคนอื่นๆ^{[ 23 ]} (ดูรายงาน Lighthill )

เขาได้พัฒนาภาษาโปรแกรมแบบผสม (Combined Programming Language หรือ CPL) ชุดเอกสารบรรยายที่มีอิทธิพลของเขาเรื่อง " แนวคิดพื้นฐานในภาษาโปรแกรม " ได้กำหนดความแตกต่างระหว่างค่า L และค่า R อย่างเป็นทางการ (ดังที่เห็นในภาษาโปรแกรม C ) นอกจากนี้ Strachey ยังบัญญัติศัพท์ " currying"แม้ว่าเขาจะไม่ได้คิดค้นแนวคิดพื้นฐานก็ตาม

เขามีบทบาทสำคัญในการออกแบบคอมพิวเตอร์ Ferranti Pegasus

ภาษามาโครm4ได้รับอิทธิพลอย่างมากจาก GPM ( General Purpose Macrogenerator ) ของ Strachey ซึ่งเป็นหนึ่งในภาษาขยายมาโคร รุ่นแรก ๆ^{[ 24 ]}

Strachey ป่วยเป็นโรคดีซ่านซึ่งหลังจากดูเหมือนจะหายดีแล้ว โรคก็กลับมาอีก และเขาเสียชีวิตด้วยโรคตับอักเสบ ติดเชื้อ เมื่อวันที่ 18 พฤษภาคม พ.ศ. 2518 ^{[ 17 ]}หลังจากการเสียชีวิตของเขา Strachey ได้รับการสืบทอดตำแหน่งโดยเซอร์โทนี่ โฮร์ในฐานะหัวหน้ากลุ่มวิจัยการเขียนโปรแกรมที่ออกซ์ฟอร์ด โดยเริ่มตั้งแต่ปี พ.ศ. 2520

ภาควิชาวิทยาการคอมพิวเตอร์มหาวิทยาลัยออกซ์ฟอร์ดมีตำแหน่งศาสตราจารย์คริสโตเฟอร์ สแตรชี ด้านการคำนวณ [ ^{25 ] [ 26 ]}ซึ่งดำรงตำแหน่งโดยบุคคลต่อไปนี้ ^:

• เซอร์โทนี่ โฮร์ FRS (1988–2000) ^{[ 25 ]}
• Samson Abramsky FRS (2000–2021) ^{[ 27 ]}
• โนบุโกะ โยชิดะ (2022 เป็นต้นไป) ^{[ 28 ]}

ในปี พ.ศ. 2538 มีการจัดตั้ง การบรรยาย Strachey Lectures in Computing Scienceขึ้นที่มหาวิทยาลัยออกซ์ฟอร์ดเพื่อเป็นอนุสรณ์แด่ Strachey ^{[ 21 ]}ในเดือนพฤศจิกายน พ.ศ. 2559 มีการจัดงาน Strachey 100ขึ้นที่มหาวิทยาลัยออกซ์ฟอร์ดเพื่อเฉลิมฉลองครบรอบ 100 ปีวันเกิดของ Strachey ^{[ 29 ]}ซึ่งรวมถึงการชม เอกสารสำคัญของ Christopher Strachey ที่เก็บรักษาไว้ใน คอลเล็กชัน ของ ห้องสมุด Bodleian ที่ห้องสมุด Westonในออกซ์ฟอร์ด^{[ 30 ]}

• Strachey, Christopher (1952). " โปรแกรมเชิงตรรกะหรือโปรแกรมที่ไม่ใช้คณิตศาสตร์"รายงานการประชุมระดับชาติของ ACM ปี 1952โทรอนโต: ACM. หน้า  46–49 . doi : 10.1145/800259.808992
• Strachey, Christopher (1954). "เครื่องจักร "คิดได้" Encounter . หน้า  25–31 .
• Strachey, Christopher (1959). "การแบ่งเวลาแบบควบคุมด้วยโปรแกรม" . Proceedings of the IEE - Part B: Electronic and Communication Engineering . 106 (29): 462. doi : 10.1049/pi-b-2.1959.0311 .
• Strachey, Christopher (1959). "เกี่ยวกับการหาค่ารากที่สองของจำนวนเชิงซ้อน" . The Computer Journal . 2 (2): 89. doi : 10.1093/comjnl/2.2.89 .
• Strachey, Christopher (1959). "การแบ่งเวลาในคอมพิวเตอร์ขนาดใหญ่และเร็ว"รายงานการประชุมนานาชาติว่าด้วยการประมวลผลข้อมูลครั้งที่ 1ปารีส: UNESCOหน้า  336–341
• Strachey, Christopher (1960). "ผลงานสองชิ้นเกี่ยวกับเทคนิคของปัญหาการเข้าคิว"วารสารคอมพิวเตอร์ 3 ( 2): 114– 116. doi : 10.1093/comjnl/3.2.114 .
• Strachey, Christopher (1961). "การดำเนินการบิตไวส์" . การสื่อสารของ ACM . 4 (3): 146. doi : 10.1145/366199.366254 . S2CID  7359297 .
• Strachey, Christopher; Wilkes, Maurice (1961). "ข้อเสนอแนะบางประการเพื่อปรับปรุงประสิทธิภาพของ ALGOL 60"การสื่อสารของ ACM 4 ( 11): 488– 491. doi : 10.1145/366813.366816 . S2CID  8757176 .
• Strachey, Christopher; Francis, John (1961). "การลดเมทริกซ์ให้เป็นรูปแบบโคไดอะโกนัลโดยการกำจัด"วารสารคอมพิวเตอร์ 4 ( 2): 168– 176. doi : 10.1093/comjnl/4.2.168 .
• Strachey, Christopher (1962). "บทวิจารณ์หนังสือ" . The Computer Journal . 5 (2): 152– 153. doi : 10.1093/comjnl/5.2.152 .
• Barron, David; Buxton, John; Hartley, David; Nixon, Eric; Strachey, Christopher (1963). "คุณสมบัติหลักของ CPL" . The Computer Journal . 6 (2): 134– 143. doi : 10.1093/comjnl/6.2.134 .
• Strachey, Christopher (1965). "โปรแกรมที่เป็นไปไม่ได้" . The Computer Journal . 7 (4): 313. doi : 10.1093/comjnl/7.4.313 .
• Strachey, Christopher (1965). "เครื่องกำเนิดมาโครอเนกประสงค์" . The Computer Journal . 8 (3): 225– 241. doi : 10.1093/comjnl/8.3.225 .
• Strachey, Christopher (1966). "การวิเคราะห์ระบบและการเขียนโปรแกรม" Scientific American . Vol. 215, no. 3. pp.  112– 127.
• Strachey, Christopher (1966). "มุ่งสู่ความหมายเชิงรูปธรรม". รายงานการประชุมเชิงปฏิบัติการ IFIP ว่าด้วยภาษาเชิงพรรณนาเชิงรูปธรรม . อัมสเตอร์ดัม: นอร์ทฮอลแลนด์. หน้า  198–220 .
• Strachey, Christopher (1967). แนวคิดพื้นฐานในภาษาโปรแกรม (รายงานทางเทคนิค). เอกสารประกอบการบรรยายสำหรับโรงเรียนภาคฤดูร้อนนานาชาติด้านการเขียนโปรแกรมคอมพิวเตอร์ที่โคเปนเฮเกนนอกจากนี้: Strachey, Christopher (2000). "แนวคิดพื้นฐานในภาษาโปรแกรม" . การคำนวณลำดับสูงและเชิงสัญลักษณ์ . 13 ( 1– 2): 11– 49. doi : 10.1023/A:1010000313106 . S2CID 14124601 . 
• Scott, Dana; Strachey, Christopher (1971). สู่ความหมายเชิงคณิตศาสตร์สำหรับภาษาคอมพิวเตอร์ (รายงานทางเทคนิค). ห้องปฏิบัติการคอมพิวเตอร์ มหาวิทยาลัยออกซ์ฟอร์ด, กลุ่มวิจัยการเขียนโปรแกรม. PRG06.นอกจากนี้: Scott, Dana; Strachey, Christopher (1971). "Toward a Mathematical Semantics for Computer Languages". Proceedings of the Symposium on Computers and Automata . New York: Polytechnic Institute of Brooklyn . pp.  19–46 .
• Strachey, Christopher (1972). "ประเภทของภาษาโปรแกรม". รายงานการประชุมสัมมนาวิทยาการคอมพิวเตอร์นานาชาติ . เวนิส: มูลนิธิ Cini . หน้า  222–233 .นอกจากนี้: Strachey, Christopher (1973). ความหลากหลายของภาษาโปรแกรม (รายงานทางเทคนิค). ห้องปฏิบัติการคอมพิวเตอร์ มหาวิทยาลัยออกซ์ฟอร์ด กลุ่มวิจัยการเขียนโปรแกรม PRG10.
• Stoy, Joseph; Strachey, Christopher (1972). "OS6—ระบบปฏิบัติการทดลองสำหรับคอมพิวเตอร์ขนาดเล็ก ตอนที่ 1: หลักการทั่วไปและโครงสร้าง"วารสารคอมพิวเตอร์ 15 ( 2): 117– 124. doi : 10.1093/comjnl/15.2.117 .
• Stoy, Joseph; Strachey, Christopher (1972). "OS6—ระบบปฏิบัติการทดลองสำหรับคอมพิวเตอร์ขนาดเล็ก ตอนที่ 2: ระบบรับ/ส่งข้อมูลและระบบจัดเก็บไฟล์"วารสารคอมพิวเตอร์ 15 ( 3): 195– 203. doi : 10.1093/comjnl/15.3.195 .
• Strachey, Christopher; Stoy, Joseph (1972). ข้อความของ OSPub (รายงานทางเทคนิค). ห้องปฏิบัติการคอมพิวเตอร์ มหาวิทยาลัยอ็อกซ์ฟอร์ด, กลุ่มวิจัยการเขียนโปรแกรม. PRG09.
• Strachey, Christopher; Wadsworth, Christopher (1974). Continuations: A Mathematical Semantics for Handling Full Jumps (รายงานทางเทคนิค). ห้องปฏิบัติการคอมพิวเตอร์ มหาวิทยาลัยออกซ์ฟอร์ด, กลุ่มวิจัยการเขียนโปรแกรม. PRG11.นอกจากนี้: Strachey, Christopher; Wadsworth, Christopher (2000). "Continuations: A Mathematical Semantics for Handling Full Jumps" . Higher-Order and Symbolic Computation . 13 ( 1– 2): 135– 152. doi : 10.1023/A:1010026413531 . S2CID 10673265 . 
• มิลน์, โรเบิร์ต; สแตรชี, คริสโตเฟอร์ (1976). ทฤษฎีความหมายของภาษาโปรแกรม . นิวยอร์ก: สปริงเกอร์. ISBN 978-1-5041-2833-9.

• Barron, David (ฤดูร้อน 2008). "ประวัติผู้บุกเบิก – คริสโตเฟอร์ สแตรชี" . Resurrection (43). สมาคมอนุรักษ์คอมพิวเตอร์ . ISSN  0958-7403 .
• โคปแลนด์, แจ็ค (มิถุนายน 2000). "ประวัติโดยย่อของการคำนวณ" . AlanTuring.net .
• Danvy, Olivier; Talcott, Carolyn, บรรณาธิการ (เมษายน 2543). "ฉบับพิเศษเพื่อรำลึกถึง Christopher Strachey" . การคำนวณลำดับสูงและเชิงสัญลักษณ์ . 13 (1/2).
• ลาวิงตัน, เอส. (2000). เรื่องราวของเพกาซัส . พิพิธภัณฑ์วิทยาศาสตร์ . ISBN 1-900747-40-5.

• คริสโตเฟอร์ สแตรชีที่เซิร์ฟเวอร์บรรณานุกรมDBLP
• คริสโตเฟอร์ สแตรชี (1916–1975)ที่Wayback Machine (เก็บถาวรเมื่อวันที่ 26 กันยายน 2007) ในพิพิธภัณฑ์คอมพิวเตอร์เสมือนจริง
• โปรแกรมจำลองการทำงานของเครื่อง Manchester Mark 1 ซึ่งใช้ขั้นตอนวิธี Love letter ของ Christopher Strachey จากปี 1952
• เวอร์ชันบนเว็บของอัลกอริทึมจดหมายรักของคริสโตเฟอร์ สแตรชี ที่แสดงรายการคำศัพท์
• เอกสารเสริมของ Stracheyที่เก็บรักษาไว้ที่หอสมุดแห่งชาติอังกฤษ