Declarative interpretations reconsidered - Apt, Krzysztof R. 1949-; Gabbrielli, Maurizio (Stichting Mathematisch Centrum, 1994)