See
SPLC 2006 Home Page
for details