Two-level semantics and abstract interpretation. Theoretical Computer Science 69 (1989)

by F Nielson