Program Dependency Matrix (Mathematics, BSU)