Olga Kouchnarenko Ph. Schnoebelen A Formal Framework for the Analysis of Recursive-Parallel Programs. 45-59 1997 conf/pact/1997 PaCT db/conf/pact/pact1997.html#KushnarenkoS97