The Axiomatic method in phonology.
Batóg, Tadeusz.
London, 
1967.