Combine facts and answer this: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier?
occam programming language