Seeking Scott's original LCF paper
Published as:

Scott, D. A Type-Theoretical Alternative to ISWIM, CUCH, OWHY.
   Theoretical Computer Science, vol. 121 (1993), pp. 411 - 440.

See also:

Scott, D. Some Reflections on Strachey and his Work. in: A Special Issue
   Dedicated to Christopher Strachey, edited by O. Danvy and
   C. Talcott.  Higer-Order and Symbolic Computation, vol. 13 (2000),
   pp. 103-114.

and:

Gordon D. Plotkin, Set-theoretical and other elementary models of the λ-calculus,
   Theoretical Computer Science, vol. 121 (1993), pp. 351-409.