In this task, you are given a context paragraph, a question based on that and corresponding answer of a question. Your task is to generate supporting fact/knowledge from context paragraph which helps in answering a given question.

Q: Francis Edward "Frank" Turner (born 28 December 1981) is an English folk singer-songwriter from Meonstoke, Hampshire. He began his career as the vocalist of post-hardcore band Million Dead, then embarked upon a primarily acoustic-based solo career following the band's split in 2005. In the studio and during live performances, Turner is accompanied by his backing band, The Sleeping Souls, which consists of Ben Lloyd (guitar, mandolin), Tarrant Anderson (bass), Matt Nasir (piano) and Nigel Powell (drums). Question: Rock & Roll is an EP by a singer born in which year ? Answer: 1981

A: Francis Edward Frank Turner born 28 December 1981 is an English folk singersongwriter from Meonstoke, Hampshire.
****
Q: Mirko Filipović (] ; born 10 September 1974), known by the nickname Mirko Cro Cop, is a Croatian heavyweight mixed martial artist, kickboxer and boxer. Question: What nationality was the only man to beat Jarrell Miller in kickboxing? Answer: Croatian

A: Mirko Filipović  ; born 10 September 1974, known by the nickname Mirko Cro Cop, is a Croatian heavyweight mixed martial artist, kickboxer and boxer.
****
Q: 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. 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

A:
 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.
****