Programming language semantics (1996)

by David A Schmidt
Venue:ACM Computing Surveys