Derek Oppen was a student of Stephen Cook known for the Nelson-Oppen combination of decision procedures method. Yet, there is no Wikipedia entry dedicated to him and his publication list extends during a single decade.
I was wondering if there are any references about his academic career. To be precise, I'm interested on how the collaboration between Nelson and Oppen happened. My understanding is that Nelson was still a PhD student and Oppen had recently graduated.