[plt-scheme] PLT Redex Workshop

Hi all,

I am interested in knowing more about PLT Redex. I looked at the site
and it says in the workshop part:
"The organizers plan to collect all articles in a book on PLT Redex
that will consist of three parts: an introduction to reduction and
rewriting semantics; a PLT Redex manual; and the collection of revised
and refined workshop papers. "

Is this book anywhere? In fact I am mainly interested in the
introduction to reduction and rewriting semantics, the theory and its
applicability. If this book was not made, is there anything like this
online?

What kind of applications had PLT Redex already? [It would be
interesting to see a list of papers which use PLT Redex, both from the
implementors and the users perspective]

Cheers,

-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm