First paper: http://hal.inria.fr/hal-00759030/
Tech Report: http://hal.inria.fr/hal-00708067/ (a bit dry)

About video, I am still processing the tutorial I have presented at Bern, but as soon as I have something, I will publicly announce it

Ben yesterday I took the video I did about dice and I pasted that in a chapter. So may be we should do the same with your videos.

Stef