Basic results in automatic transformations of shared memory parallel programs into sequential programs
scientific article; zbMATH DE number 1553260