Matthews, S., & Basin, D. A. (1998). Scoped Metatheorems. Electronic Notes in Computer Science, 15, 1-14.