The spec is here:
http://www.cse.unsw.edu.au/~wyos/SkeiLeinRoenSkripp.htmlHowever, it's pretty outdated, it was machine generated, and things will most probably change in the future. I would write a spec, but PhD hasn't really been giving me much time to sleep, let alone do this.
Sorry about that, once there's a good spec up I'll put it on the blog/site.
Cheers