G.: A Framework for De Logics (1993)

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