The workshop booklet: booklet.pdf, booklet.ps