Constructing a tractable reasoning framework upon a fine-grained structural operational semantics. - Joseph William Coleman (2008)