A framework for defining logics (1993)

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