Question: What year was the ALGOL 60 Complier implemented by C.A.R Hoare first released?
Sentence (from "Demonic non-determinism"): A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favour non-termination.
Relevant evidence: No