2 works on record
Computing natural language
Comparative concurrency semantics and refinement of actions