high-level semantics

3 papers