A framework for defining logics (1987)

by R Harper, F Honsel, G Plotkin
Venue:In Proceedings of the second annual IEEE symposium on logic in computer science