Program generation in the equivalent transformation computation model using the squeeze method

From MaRDI portal