The Mathematics of Syntactic Structure by Hans-Peter Kolb & Uwe Mhonnich