Stephan Braun: Some formal properties of phonological redundancy rules. COLING 1969