Adam Jardine (with Jane Chandlee) recently published an article in Language (Vol. 97 No. 3), titled Computational universals in linguistic theory: Using recursive programs for phonological analysis. This paper outlines a formalism for phonological analysis that aims to capture both the computational and substantive nature of phonological generalizations.
Please find the complete article here.