A Formal Framework for the Analysis of Recursive-Parallel Programs. - Kouchnarenko, Olga; Schnoebelen, Philippe (1997)