On 21 Jun 2012, at 11:29, Benjamin wrote:

> [1] http://hal.inria.fr/docs/00/70/80/67/PDF/SpecTechReport.pdf

Hmm, documentation, lovely!

Thx,

Sven

Reply via email to