The Denotational Description of Programming Languages An Introduction - Gordon, Michael J. C. (Springer-Verlag, 1979)
Βιβλιογραφία: σσ.152-153