デイナ・スコット
Mathematical Systems Theory 1:89–111.
Scott, Dana (1970), “Advice in modal logic”, in Lambert, K., Philosophical Problems in Logic, pp. 143–173
Scott, Dana (1975), “Data types as lattices”, in G. Muller et al., Proceedings of the International Summer Institute and Logic Colloquium, Kiel, Lecture Notes in Mathematics, 499, Springer, pp. 579-651
Scott, Dana; Lemmon, John (1977), An Introduction to Modal Logic, Oxford: Blackwell