A denotational framework for data flow analysis (1982)

by Flemming Nielson
Venue:Acta Informatica