Metatheory and reflection in theorem proving: Asurvey and critique (1995)

by J Harrison