Synthesis of parallel recursive programs in structural functional models
scientific article; zbMATH DE number 5285480