1-2 of 2 Books
Modularity and constraints in language and cognition
By Michael P. Maratsos
Compositionality, concurrency, and partial correctness
By J. Zwiers