Detecting global variables in denotational specifications", Trans. Pro g (1985)

by D A SCHMIDT
Venue:Lang and Systems