Programming language semantics

David A. Schmidt
1996 ACM Computing Surveys  
doi:10.1145/234313.234419 fatcat:tb7ss5t6obc6fdzrk7ybqv6qtm