Specifying monogenetic specializers by means of a relation between source and residual programs

From MaRDI portal