A framework for de ning logics (1992)

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