The Logical Approach to Syntax: Foundations, Specifications, ...
Edward P. Stabler & Maurice V. Wilkes