A Framework for Defining (1987)

by R Harper, F Honsell, G Plotkin
Venue:Logics, Symposium on Logic in Computer Science (ieee Computer