toward a mathematical semantics for computer languages (0)

by Dana Scott, Christopher Strachey