Question: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier? 

Context paragraphs:
ALGOL N: ALGOL N is the name of a successor to ALGOL 60 designed in Japan with the aim of being as powerful as ALGOL 68 but as simple as ALGOL 60.  The language was proposed by Nobuo Yoneda.  Algol N tried to use extensibility in order to solve the problem that programming language designers faced when trying to make an inextensible language for everything or having to make many languages, one for each domain.  It avoided coercion while not making things difficult for programmers.  The letter 'N' is short for 'Nippon', or Japan in Japanese.

S-algol: 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.

ALGOL 68: ALGOL 68 (short for ALGOrithmic Language 1968) is an imperative computer programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously defined syntax and semantics.

SLIP (programming language): SLIP is a list processing computer programming language, invented by Joseph Weizenbaum in the 1960s.  The name "SLIP" stands for Symmetric LIst Processor.  It was first implemented as an extension to the Fortran programming language, and later embedded into MAD and ALGOL.

Tony Hoare: 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.

ALGOL W: ALGOL W is a programming language.  It is based on a proposal for ALGOL X by Niklaus Wirth and Tony Hoare as a successor to ALGOL 60 in IFIP Working Group 2.1.  When the committee decided that the proposal was not a sufficient advance over ALGOL 60, the proposal was published as "A contribution to the development of ALGOL".  After making small modifications to the language Wirth supervised a high quality implementation for the IBM/360 at Stanford University that was widely distributed.

Elliott ALGOL: 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.

ALGOL Y: 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.

ALGOL 60: ALGOL 60 (short for ALGOrithmic Language 1960) is a member of the ALGOL family of computer programming languages.  It followed on from ALGOL 58 which had introduced code blocks and the codice_1 and codice_2 pairs for delimiting them.  ALGOL 60 was the first language implementing nested function definitions with lexical scope.  It gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal and C.

Dartmouth ALGOL 30: Dartmouth ALGOL 30 was an 1960s-era implementation, firstly of the ALGOL 58 programming language, then of ALGOL 60 for the LGP-30 at Dartmouth College, hence the name.

Supporting paragraphs: Elliott ALGOL Tony Hoare
Answer: occam programming language