ADD operations on PS-trees
ADD parallel PUSH
ADD conclusion on algorithm 1
FIX titles and subtitles, sections