A framework for defining logics (1987)

by R Harper, F Honsell, G Plotkin
Venue:In Proc. Second Symposium of Logic in Computer Science