GUHA - metoda systematického vyhledávání hypotéz. II Petr Hájek, Ivan Havel, Metoděj Chytil (1967) Kybernetika
Gültigkeitsbegriffe für Gleichungen in partiellen Algebren. Reinhard John (1978) Mathematische Zeitschrift