Gültigkeitsbegriffe für Gleichungen in partiellen Algebren. Reinhard John (1978) Mathematische Zeitschrift