Lambda: The Ultimate Imperative - who is Jensen? One of the notes in the classical paper LAMBDA: The Ultimate Imperative says:


  {Jensensdevice}
  
  The technique of repeatedly modifying a variable passed call-by-name in order to produce side effects on another call-by-name parameter is commonly known as Jensen's device, particularly in the case where call-by-name parameters are j and a[j]. We cannot find any reference to Jensen or who he was, and offer a reward for any information leading to the identification, arrest, and conviction of said Jensen.


Today, after almost 40 years since the memo was published, do we know the identity of Jensen? I'm not hoping for the reward, just curious.
Jensen's device was developed by Jørn Jensen, who worked on one of the earliest ALGOL 60 compilers (this answer is based on comment by Kristoffer Arnsfelt Hansen).