The paper reads like an index into a number of related research fields. One running example, very concise explanations, maaaany references.