[PPL-devel] w3ppl/htdocs/Documentation ppl.bib BagnaraHZ07 ...