Начало см. здесь.

Скотт Д.  Теория решеток, типы данных и семантика.

В сборнике:
Данные в языках программирования.
М.: Мир, 1982, cc. 25 — 53.

Продолжение см. здесь.