A basic problem in the theory of programming languages - Buchberger, Bruno 1942- (1972)