Überwachung von Konsistenzbedingungen. - Felix Gähler (Verlag der Fachvereine, 1991)