/wiki/Tony_Hoar
/wiki/Fellow_of_the_Royal_Society
/wiki/Fellow_of_the_Royal_Academy_of_Engineering
/wiki/Computer_science
/wiki/Sorting_algorithm
/wiki/Quicksort
/wiki/Hoare_logic
/wiki/Communicating_sequential_processes
/wiki/Concurrency_(computer_science)
/wiki/Dining_philosophers_problem
/wiki/Occam_(programming_language)
/wiki/Colombo
/wiki/Sri_Lanka
/wiki/Civil_servant
/wiki/England
/wiki/Dragon_School
/wiki/Oxford
/wiki/The_King%27s_School,_Canterbury
/wiki/Canterbury
/wiki/Literae_Humaniores
/wiki/Merton_College,_Oxford
/wiki/Conscription_in_the_United_Kingdom
/wiki/Royal_Navy
/wiki/University_of_Oxford
/wiki/Autocode
/wiki/Ferranti_Mercury
/wiki/Leslie_Fox
/wiki/Moscow_State_University
/wiki/British_Council
/wiki/Machine_translation
/wiki/Andrey_Kolmogorov
/wiki/Elliott_Brothers_(computer_company)
/wiki/ALGOL_programming_language
/wiki/Algorithm
/wiki/Queen%27s_University_of_Belfast
/wiki/Programming_Research_Group
/wiki/Oxford_University_Computing_Laboratory
/wiki/Department_of_Computer_Science,_University_of_Oxford
/wiki/Christopher_Strachey
/wiki/Professor
/wiki/Microsoft_Research
/wiki/Cambridge
/wiki/Quickselect
/wiki/Communicating_Sequential_Processes
/wiki/Concurrent_process
/wiki/Operating_system
/wiki/Monitor_(synchronization)
/wiki/Axiom
/wiki/Programming_language
/wiki/Null_pointer
/wiki/ALGOL_W
/wiki/Z_notation
/wiki/Ole-Johan_Dahl
/wiki/Edsger_Dijkstra
/wiki/Academic_Press
/wiki/International_Standard_Book_Number
/wiki/OCLC
/wiki/Prentice_Hall
/wiki/Michael_J.C._Gordon
/wiki/He_Jifeng
/wiki/Unifying_Theories_of_Programming
/wiki/DFBCS
/wiki/ACM_Turing_Award
/wiki/Nashville,_Tennessee
/wiki/Communications_of_the_ACM
/wiki/Harry_H._Goode_Memorial_Award
/wiki/Queen%27s_University_Belfast
/wiki/University_of_Bath
/wiki/Kellogg_College,_Oxford
/wiki/Knight_Bachelor
/wiki/Kyoto_Prize
/wiki/Information_science
/wiki/Fellow
/wiki/Royal_Academy_of_Engineering
/wiki/Computer_History_Museum
/wiki/Mountain_View,_California
/wiki/Heriot-Watt_University
/wiki/Athens_University_of_Economics_and_Business
/wiki/Technical_University_of_Munich
/wiki/SIGPLAN
/wiki/IEEE_John_von_Neumann_Medal
/wiki/University_of_Warsaw
/wiki/Complutense_University_of_Madrid
/wiki/Software_engineering
/wiki/Computer_programming
/wiki/Requirements_engineering
/wiki/Software_deployment
/wiki/Software_design
/wiki/Software_maintenance
/wiki/Software_testing
/wiki/Systems_analysis
/wiki/Formal_methods
/wiki/Data_modeling
/wiki/Enterprise_architecture
/wiki/Functional_specification
/wiki/Modeling_language
/wiki/Orthogonality_(programming)
/wiki/Programming_paradigm
/wiki/Software
/wiki/Software_archaeology
/wiki/Software_architecture
/wiki/Software_configuration_management
/wiki/Software_development_process
/wiki/Software_quality
/wiki/Software_quality_assurance
/wiki/Software_verification_and_validation
/wiki/Structured_analysis
/wiki/Agile_software_development
/wiki/Aspect-oriented_software_development
/wiki/Object-oriented_programming
/wiki/Ontology_(information_science)
/wiki/Service-oriented_architecture
/wiki/Systems_development_life_cycle
/wiki/Enterprise_Unified_Process
/wiki/Executable_UML
/wiki/Incremental_build_model
/wiki/Iterative_and_incremental_development
/wiki/Software_prototyping
/wiki/Rapid_application_development
/wiki/Unified_Process
/wiki/Scrum_(software_development)
/wiki/Spiral_model
/wiki/V-Model_(software_development)
/wiki/Waterfall_model
/wiki/Extreme_programming
/wiki/ISO/IEC_15504
/wiki/Capability_Maturity_Model_Integration
/wiki/Data_model
/wiki/Entity%E2%80%93relationship_model
/wiki/Function_model
/wiki/Information_model
/wiki/Metamodeling
/wiki/Object_model
/wiki/Systems_modeling
/wiki/View_model
/wiki/IDEF
/wiki/Unified_Modeling_Language
/wiki/Universal_Systems_Language
/wiki/Systems_Modeling_Language
/wiki/Victor_Basili
/wiki/Kent_Beck
/wiki/Grady_Booch
/wiki/Fred_Brooks
/wiki/Barry_Boehm
/wiki/Peter_Chen
/wiki/Danese_Cooper
/wiki/Ward_Cunningham
/wiki/Tom_DeMarco
/wiki/Edsger_W._Dijkstra
/wiki/Delores_M._Etter
/wiki/Martin_Fowler
/wiki/Adele_Goldstine
/wiki/Margaret_Hamilton_(scientist)
/wiki/Lois_Haibt
/wiki/Mary_Jean_Harrold
/wiki/Grace_Hopper
/wiki/Watts_Humphrey
/wiki/Michael_A._Jackson
/wiki/Ivar_Jacobson
/wiki/Alan_Kay
/wiki/Nancy_Leveson
/wiki/Stephen_J._Mellor
/wiki/Bertrand_Meyer
/wiki/David_Parnas
/wiki/Trygve_Reenskaug
/wiki/Winston_W._Royce
/wiki/James_Rumbaugh
/wiki/Mary_Shaw_(computer_scientist)
/wiki/Peri_Tarr
/wiki/Elaine_Weyuker
/wiki/Niklaus_Wirth
/wiki/Edward_Yourdon
/wiki/Computer_engineering
/wiki/Project_management
/wiki/Risk_management
/wiki/Systems_engineering
/wiki/Turing_Award
/wiki/Alan_Perlis
/wiki/Maurice_Wilkes
/wiki/Richard_Hamming
/wiki/Marvin_Minsky
/wiki/James_H._Wilkinson
/wiki/John_McCarthy_(computer_scientist)
/wiki/Charles_Bachman
/wiki/Donald_Knuth
/wiki/Allen_Newell
/wiki/Herbert_A._Simon
/wiki/Michael_O._Rabin
/wiki/Dana_Scott
/wiki/John_Backus
/wiki/Robert_W._Floyd
/wiki/Kenneth_E._Iverson
/wiki/Edgar_F._Codd
/wiki/Stephen_Cook
/wiki/Ken_Thompson
/wiki/Dennis_Ritchie
/wiki/Richard_M._Karp
/wiki/John_Hopcroft
/wiki/Robert_Tarjan
/wiki/John_Cocke
/wiki/Ivan_Sutherland
/wiki/William_Kahan
/wiki/Fernando_J._Corbat%C3%B3
/wiki/Robin_Milner
/wiki/Butler_Lampson
/wiki/Juris_Hartmanis
/wiki/Richard_E._Stearns
/wiki/Edward_Feigenbaum
/wiki/Raj_Reddy
/wiki/Manuel_Blum
/wiki/Amir_Pnueli
/wiki/Douglas_Engelbart
/wiki/Jim_Gray_(computer_scientist)
/wiki/Andrew_Yao
/wiki/Kristen_Nygaard
/wiki/Ron_Rivest
/wiki/Adi_Shamir
/wiki/Leonard_Adleman
/wiki/Vint_Cerf
/wiki/Bob_Kahn
/wiki/Peter_Naur
/wiki/Frances_E._Allen
/wiki/Edmund_M._Clarke
/wiki/E._Allen_Emerson
/wiki/Joseph_Sifakis
/wiki/Barbara_Liskov
/wiki/Charles_P._Thacker
/wiki/Leslie_Valiant
/wiki/Judea_Pearl
/wiki/Shafi_Goldwasser
/wiki/Silvio_Micali
/wiki/Leslie_Lamport
/wiki/Michael_Stonebraker
/wiki/Martin_Hellman
/wiki/Whitfield_Diffie
/wiki/Tim_Berners-Lee
/wiki/John_L._Hennessy
/wiki/David_Patterson_(computer_scientist)
/wiki/WorldCat
/wiki/ACM_Digital_Library
/wiki/BIBSYS
/wiki/DBLP
/wiki/Integrated_Authority_File
/wiki/International_Standard_Name_Identifier
/wiki/Library_of_Congress_Control_Number
/wiki/National_Library_of_Latvia
/wiki/Mathematics_Genealogy_Project
/wiki/National_Diet_Library
/wiki/LIBRIS
/wiki/SNAC
/wiki/Syst%C3%A8me_universitaire_de_documentation
/wiki/Virtual_International_Authority_File
