question: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier? 
answer: occam programming language
context: Title: Tony Hoare
  Passage: Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist.  He developed the sorting algorithm quicksort in 1959/1960.  He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.
  Title: Elliott ALGOL
  Passage: Elliott ALGOL was an ALGOL 60 compiler for the Elliott 803 computer.  It was implemented by Tony Hoare and others.  It differed slightly from the reference version of Algol, particularly in the supported character set.  First released in February 1962, it is believed to be the first implementation of an ALGOL 60 compiler in a commercial context and was an unexpectedly popular product for the company.
  Title: S-algol
  Passage: S-algol (St Andrews Algol) is a computer programming language derivative of ALGOL 60 developed at the University of St Andrews in 1979 by Ron Morrison and Tony Davie.  The language is a modification of ALGOL to contain orthogonal data types that Morrison created for his PhD thesis.  Morrison would go on to become professor at the university and head of the department of computer science.  The S-algol language was used for teaching at the university at an undergraduate level until 1999.  It was also the language taught for several years in the 1980s at a local school in St. Andrews, Madras College.  The computer science text "Recursive Descent Compiling" describes a recursive descent compiler for S-algol, using S-algol as the implementation language.
  Title: ALGOL Y
  Passage: ALGOL Y was the name given to a speculated successor for the ALGOL 60 programming language that incorporated some radical features that were rejected for ALGOL 68 and ALGOL X.  ALGOL Y was intended to be a "radical reconstruction" of ALGOL.
citations: Tony Hoare Elliott ALGOL