A Framework for Defining Logics (1993)

by R Harper, F Honsel, G Plotkin
Venue:Journal of the ACM