June 21, 2012
2:55 p.m.
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