Syntax and Semantics
Defining Systems Lucidly