A denotational framework for data flow analysis (1982)

by F Nielson
Venue:Acta Informatica