[Oberon] looking for link/reference to interview: program verfication in an undergraduate course

[Frans-Pieter Vonck]

Hi,

A few years ago I found an interview with a university professor, could 
be John Cough maybe in conversation with Writh, where he mentions an 
interesting way of training students in program verfication.
Students had to verbally explain eachother the workings of the code they 
wrote.

I cannot find the link anymore.
Did any of you also saw that interview?

Greets,
Frans-Pieter Vonck