Formal aspects of phonological descr. by Charles Johnson