Books by Robert C. Berwick
Mathematical Structure of Syntactic Merge
A mathematical formalization of Chomsky’s theory of Merge in generative linguistics.