A framework for de logics (1993)

by H Harper, F Honsell, G Plotkin
Venue:J. of ACM