G. Reis, V. Nigam et al.: "An Extended Framework for Specifying and Reasoning about Proof Systems"; accepted for publication in Journal of Logic and Computation.