Denotational Semantics for Languages with Modules (1983)

by H Ganzinger
Venue:Formal Description of Programming Concepts - II