DDetecting global variables in denotational specificationsDetecting global variables in denotational specificationsde David SchmidtEdiciones (1)Detecting global variables in denotational specifications. (1983)Dept. of Computer Science, Univ. of Edinburgh · inglésMás obras de David SchmidtRacing StripesJJinx of the black lynxJinx of the black lynxSourcebook for watershed education