Developmental semantics : the scott-strachey approach to programming language theory - Stoy, Joseph E. (MIT Press, 1981)