{
  "Algol (call by name argument passing)": [
    "3.5.1"
  ],
  "Algol (thunks)": [
    "3.5.1"
  ],
  "Aristotle's De caelo (Buridan's commentary on)": [
    "3.4.2"
  ],
  "Backus, John": [
    "3.5.5"
  ],
  "Bertrand's Hypothesis": [
    "3.5.2"
  ],
  "Borning, Alan": [
    "3.3.5"
  ],
  "Buridan, Jean": [
    "3.4.2"
  ],
  "CSE machine": [
    "3.2.5"
  ],
  "Chaitin, Gregory": [
    "3.1.2"
  ],
  "Chebyshev, Pafnutii L'vovich": [
    "3.5.2"
  ],
  "Darlington, John": [
    "3.5.5"
  ],
  "Dijkstra, Edsger Wybe": [
    "3.4.2"
  ],
  "Dirichlet, Peter Gustav Lejeune": [
    "3.1.2"
  ],
  "EIEIO": [
    "3.4.2"
  ],
  "Eratosthenes": [
    "3.5.2"
  ],
  "Euclid's proof of infinite number of primes": [
    "3.5.2"
  ],
  "Euler, Leonhard (series accelerator)": [
    "3.5.3"
  ],
  "FIFO buffer": [
    "3.3.2"
  ],
  "Fortran (inventor of)": [
    "3.5.5"
  ],
  "Friedman, Daniel P.": [
    "3.5.1"
  ],
  "Gordon, Michael": [
    "3.5.4"
  ],
  "Gray, Jim": [
    "3.4.2"
  ],
  "Hamming, Richard Wesley": [
    "3.5.2"
  ],
  "Hardy, Godfrey Harold": [
    "3.5.2",
    "3.5.3"
  ],
  "Haskell": [
    "3.5.4"
  ],
  "Havender, J.": [
    "3.4.2"
  ],
  "Henderson, Peter": [
    "3.5.2",
    "3.5.5"
  ],
  "Henderson, Peter (Henderson diagram)": [
    "3.5.2"
  ],
  "Heraclitus": [
    "3"
  ],
  "Jayaraman, Sundaresan": [
    "3.3.5"
  ],
  "KRC": [
    "3.5.3"
  ],
  "Karr, Alphonse": [
    "3"
  ],
  "Knuth, Donald E.": [
    "3.1.2"
  ],
  "Kolmogorov, A. N.": [
    "3.1.2"
  ],
  "Konopasek, Milos": [
    "3.3.5"
  ],
  "Lamport, Leslie": [
    "3.4.2"
  ],
  "Lampson, Butler": [
    "3.1.3"
  ],
  "Landin, Peter": [
    "3.5.1"
  ],
  "Leibniz, Baron Gottfried Wilhelm von (series for $\\pi$)": [
    "3.5.3"
  ],
  "Leiserson, Charles E.": [
    "3.5.3"
  ],
  "ML": [
    "3.5.4"
  ],
  "Milner, Robin": [
    "3.5.4"
  ],
  "Monte Carlo integration": [
    "3.1.2"
  ],
  "Monte Carlo integration (stream formulation)": [
    "3.5.5"
  ],
  "Monte Carlo simulation": [
    "3.1.2"
  ],
  "Monte Carlo simulation (stream formulation)": [
    "3.5.5"
  ],
  "Morris, J. H.": [
    "3.1.3"
  ],
  "Pascal, lack of higher order functions in": [
    "3.5.4"
  ],
  "Peter, Paul and Mary": [
    "3.4.1"
  ],
  "PowerPC": [
    "3.4.2"
  ],
  "Pythagorean triples (with streams)": [
    "3.5.3"
  ],
  "RC circuit": [
    "3.5.3"
  ],
  "RLC circuit": [
    "3.5.4"
  ],
  "Ramanujan numbers": [
    "3.5.3"
  ],
  "Ramanujan, Srinivasa": [
    "3.5.3"
  ],
  "Reuter, Andreas": [
    "3.4.2"
  ],
  "SKETCHPAD": [
    "3.3.5"
  ],
  "SYNC": [
    "3.4.2"
  ],
  "Schmidt, Eric": [
    "3.1.3"
  ],
  "Smalltalk": [
    "3.3.5"
  ],
  "Solomonoff, Ray": [
    "3.1.2"
  ],
  "Stallman, Richard M.": [
    "3.3.5"
  ],
  "Steele, Guy Lewis Jr.": [
    "3.1.3",
    "3.3.5"
  ],
  "Sussman, Gerald Jay": [
    "3.3.5"
  ],
  "Sutherland, Ivan": [
    "3.3.5"
  ],
  "TDZ (temporal dead zone)": [
    "3.2.4"
  ],
  "THE Multiprogramming System": [
    "3.4.2"
  ],
  "TK!Solver": [
    "3.3.5"
  ],
  "Technological University of Eindhoven": [
    "3.4.2"
  ],
  "Turner, David": [
    "3.5.3",
    "3.5.5"
  ],
  "Wadler, Philip": [
    "3.1.3"
  ],
  "Wadsworth, Christopher": [
    "3.5.4"
  ],
  "Wise, David S.": [
    "3.5.1"
  ],
  "Wright, E. M.": [
    "3.5.2"
  ],
  "Xerox Palo Alto Research Center": [
    "3.3.5"
  ],
  "accelerated_sequence": [
    "3.5.3"
  ],
  "accumulator": [
    "3.1.1"
  ],
  "acquire a mutex": [
    "3.4.2"
  ],
  "add_action": [
    "3.3.4"
  ],
  "add_streams": [
    "3.5.2"
  ],
  "add_to_agenda": [
    "3.3.4"
  ],
  "adder": [
    "3.3.5"
  ],
  "adder (full)": [
    "3.3.4"
  ],
  "adder (half)": [
    "3.3.4"
  ],
  "adder (ripple carry)": [
    "3.3.4"
  ],
  "after_delay": [
    "3.3.4"
  ],
  "aliasing": [
    "3.1.3"
  ],
  "analog computer": [
    "3.5.4"
  ],
  "and gate": [
    "3.3.4"
  ],
  "and gate (and_gate)": [
    "3.3.4"
  ],
  "append": [
    "3.3.1"
  ],
  "append (append_mutator vs.)": [
    "3.3.1"
  ],
  "append_mutator": [
    "3.3.1"
  ],
  "arbiter": [
    "3.4.2"
  ],
  "argument(s) (arbitrary number of)": [
    "3.4.2"
  ],
  "argument(s) (delayed)": [
    "3.5.4"
  ],
  "arithmetic (on power series)": [
    "3.5.2"
  ],
  "assignment": [
    "3.1",
    "3.1.3"
  ],
  "assignment (assignment operation)": [
    "3.1"
  ],
  "assignment (bugs associated with)": [
    "3.1.3"
  ],
  "assignment (costs of)": [
    "3.1.3"
  ],
  "assignment (equality test vs.)": [
    "3.1.1"
  ],
  "assignment (evaluation of)": [
    "3.2.1"
  ],
  "assoc": [
    "3.3.3"
  ],
  "atomic operations supported in hardware": [
    "3.4.2"
  ],
  "atomic requirement for test_and_set": [
    "3.4.2"
  ],
  "averager": [
    "3.3.5"
  ],
  "bank account": [
    "3.1.1",
    "3.2.4"
  ],
  "bank account (exchanging balances)": [
    "3.4.2"
  ],
  "bank account (joint)": [
    "3.1.3"
  ],
  "bank account (joint, modeled with streams)": [
    "3.5.5"
  ],
  "bank account (joint, with concurrent access)": [
    "3.4.1"
  ],
  "bank account (password protected)": [
    "3.1.1"
  ],
  "bank account (serialized)": [
    "3.4.2"
  ],
  "bank account (stream model)": [
    "3.5.5"
  ],
  "bank account (transferring money)": [
    "3.4.2"
  ],
  "barrier synchronization": [
    "3.4.2"
  ],
  "binary tree (table structured as)": [
    "3.3.3"
  ],
  "binding": [
    "3.2"
  ],
  "block structure (in environment model)": [
    "3.2.4"
  ],
  "blocked process": [
    "3.4.2"
  ],
  "bug (order of assignments)": [
    "3.1.3"
  ],
  "bug (side effect with aliasing)": [
    "3.1.3"
  ],
  "busy waiting": [
    "3.4.2"
  ],
  "cache coherence protocols": [
    "3.4.1"
  ],
  "call by name argument passing": [
    "3.5.1"
  ],
  "call by need argument passing": [
    "3.5.1"
  ],
  "call_each": [
    "3.3.4"
  ],
  "cell, in serializer implementation": [
    "3.4.2"
  ],
  "celsius_fahrenheit_converter": [
    "3.3.5"
  ],
  "celsius_fahrenheit_converter (expression oriented)": [
    "3.3.5"
  ],
  "change and sameness (meaning of)": [
    "3.1.3"
  ],
  "change and sameness (shared data and)": [
    "3.3.1"
  ],
  "circuit (modeled with streams)": [
    "3.5.3",
    "3.5.4"
  ],
  "concurrency": [
    "3.4",
    "3.4.2"
  ],
  "concurrency (correctness of concurrent programs)": [
    "3.4.1"
  ],
  "concurrency (deadlock)": [
    "3.4.2"
  ],
  "concurrency (functional programming and)": [
    "3.5.5"
  ],
  "concurrency (mechanisms for controlling)": [
    "3.4.2"
  ],
  "concurrent_execute": [
    "3.4.2"
  ],
  "connect": [
    "3.3.5"
  ],
  "connector(s), in constraint system": [
    "3.3.5"
  ],
  "connector(s), in constraint system (operations on)": [
    "3.3.5"
  ],
  "connector(s), in constraint system (representing)": [
    "3.3.5"
  ],
  "constant": [
    "3.3.5"
  ],
  "constraint network": [
    "3.3.5"
  ],
  "constraint(s) (primitive)": [
    "3.3.5"
  ],
  "constraint(s) (propagation of)": [
    "3.3.5"
  ],
  "cosine (power series for)": [
    "3.5.2"
  ],
  "count_pairs": [
    "3.3.1"
  ],
  "credit card accounts, international": [
    "3.4.2"
  ],
  "current time, for simulation agenda": [
    "3.3.4"
  ],
  "current_time": [
    "3.3.4"
  ],
  "cycle in list": [
    "3.3.1"
  ],
  "cycle in list (detecting)": [
    "3.3.1"
  ],
  "data (shared)": [
    "3.3.1"
  ],
  "data abstraction (for queue)": [
    "3.3.2"
  ],
  "data types (in statically typed languages)": [
    "3.5.4"
  ],
  "deadlock": [
    "3.4.2"
  ],
  "deadlock (avoidance)": [
    "3.4.2"
  ],
  "deadlock (recovery)": [
    "3.4.2"
  ],
  "declaration (environment model of)": [
    "3.2.1"
  ],
  "declaration (use of name before)": [
    "3.2.4"
  ],
  "definite integral (estimated with Monte Carlo simulation)": [
    "3.1.2",
    "3.5.5"
  ],
  "delayed argument": [
    "3.5.4"
  ],
  "delayed evaluation": [
    "3",
    "3.5"
  ],
  "delayed evaluation (assignment and)": [
    "3.5.1"
  ],
  "delayed evaluation (normal order evaluation and)": [
    "3.5.4"
  ],
  "delayed evaluation (printing and)": [
    "3.5.1"
  ],
  "delayed evaluation (streams and)": [
    "3.5.4"
  ],
  "delayed expression": [
    "3.5.1"
  ],
  "delayed expression (explicit)": [
    "3.5.4"
  ],
  "delayed expression (memoized)": [
    "3.5.1"
  ],
  "delete_queue": [
    "3.3.2"
  ],
  "deposit": [
    "3.1.1",
    "3.4.2"
  ],
  "deque": [
    "3.3.2"
  ],
  "differential equation": [
    "3.5.4"
  ],
  "differential equation (second order)": [
    "3.5.4"
  ],
  "diffusion, simulation of": [
    "3.4.1"
  ],
  "digital circuit simulation": [
    "3.3.4"
  ],
  "digital circuit simulation (agenda implementation)": [
    "3.3.4"
  ],
  "digital circuit simulation (agenda)": [
    "3.3.4"
  ],
  "digital circuit simulation (primitive function boxes)": [
    "3.3.4"
  ],
  "digital circuit simulation (representing wires)": [
    "3.3.4"
  ],
  "digital circuit simulation (sample simulation)": [
    "3.3.4"
  ],
  "digital signal": [
    "3.3.4"
  ],
  "dirichlet_stream": [
    "3.5.5"
  ],
  "dirichlet_test": [
    "3.1.2"
  ],
  "display_stream": [
    "3.5.1"
  ],
  "div_series": [
    "3.5.2"
  ],
  "dog, perfectly rational behavior of": [
    "3.4.2"
  ],
  "electrical circuits, modeled with streams": [
    "3.5.3",
    "3.5.4"
  ],
  "empty stream": [
    "3.5.1"
  ],
  "encapsulated name": [
    "3.1.1"
  ],
  "enclosing environment": [
    "3.2"
  ],
  "environment": [
    "3.2"
  ],
  "environment (enclosing)": [
    "3.2"
  ],
  "environment model of evaluation": [
    "3",
    "3.2",
    "3.2.4"
  ],
  "environment model of evaluation (environment structure)": [
    "3.2"
  ],
  "environment model of evaluation (function application example)": [
    "3.2.2"
  ],
  "environment model of evaluation (function application)": [
    "3.2.1"
  ],
  "environment model of evaluation (internal declarations)": [
    "3.2.4"
  ],
  "environment model of evaluation (local state)": [
    "3.2.3"
  ],
  "environment model of evaluation (message passing)": [
    "3.2.4"
  ],
  "environment model of evaluation (rules for evaluation)": [
    "3.2.1"
  ],
  "environment model of evaluation (tail recursion and)": [
    "3.2.2"
  ],
  "equality (referential transparency and)": [
    "3.1.3"
  ],
  "estimate_integral": [
    "3.1.2"
  ],
  "estimate_pi": [
    "3.1.2"
  ],
  "euler_transform": [
    "3.5.3"
  ],
  "event driven simulation": [
    "3.3.4"
  ],
  "exchange": [
    "3.4.2"
  ],
  "expression oriented vs.imperative programming style": [
    "3.3.5"
  ],
  "factorial (environment structure in evaluating)": [
    "3.2.2"
  ],
  "factorial (infinite stream)": [
    "3.5.2"
  ],
  "factorial (with assignment)": [
    "3.1.3"
  ],
  "feedback loop, modeled with streams": [
    "3.5.4"
  ],
  "fib (with memoization)": [
    "3.3.3"
  ],
  "fibs": [
    "3.5.2"
  ],
  "fibs (implicit definition)": [
    "3.5.2"
  ],
  "first_agenda_item": [
    "3.3.4"
  ],
  "first_segment": [
    "3.3.4"
  ],
  "for_each_except": [
    "3.3.5"
  ],
  "forcing (tail of stream)": [
    "3.5.1"
  ],
  "forget_value": [
    "3.3.5"
  ],
  "frame (environment model)": [
    "3.2"
  ],
  "frame (environment model) (as repository of local state)": [
    "3.2.3"
  ],
  "frame (environment model) (global)": [
    "3.2"
  ],
  "front_ptr": [
    "3.3.2"
  ],
  "front_queue": [
    "3.3.2"
  ],
  "full adder": [
    "3.3.4"
  ],
  "full adder (full_adder)": [
    "3.3.4"
  ],
  "function application (environment model of)": [
    "3.2.1",
    "3.2.2"
  ],
  "function box, in digital circuit": [
    "3.3.4"
  ],
  "functional programming": [
    "3.1.3",
    "3.5.5"
  ],
  "functional programming (concurrency and)": [
    "3.5.5"
  ],
  "functional programming (functional programming languages)": [
    "3.5.5"
  ],
  "functional programming (time and)": [
    "3.5.5"
  ],
  "functional representation of data (mutable data)": [
    "3.3.1"
  ],
  "garbage collection (mutation and)": [
    "3.3.1"
  ],
  "get": [
    "3.3.3"
  ],
  "get_signal": [
    "3.3.4"
  ],
  "get_value": [
    "3.3.5"
  ],
  "global environment": [
    "3.2"
  ],
  "global frame": [
    "3.2"
  ],
  "greatest common divisor (used to estimate $\\pi$)": [
    "3.1.2"
  ],
  "half adder": [
    "3.3.4"
  ],
  "half adder (half_adder)": [
    "3.3.4"
  ],
  "half adder (simulation of)": [
    "3.3.4"
  ],
  "has_value": [
    "3.3.5"
  ],
  "head (functional implementation of)": [
    "3.3.1"
  ],
  "headed list": [
    "3.3.3",
    "3.3.4"
  ],
  "hiding principle": [
    "3.1.1"
  ],
  "higher order functions (static typing and)": [
    "3.5.4"
  ],
  "immediately invoked lambda expression": [
    "3.2.3"
  ],
  "imperative programming": [
    "3.1.3"
  ],
  "imperative vs.expression oriented programming style": [
    "3.3.5"
  ],
  "infinite stream(s)": [
    "3.5.2"
  ],
  "infinite stream(s) (merging as a relation)": [
    "3.5.5"
  ],
  "infinite stream(s) (merging)": [
    "3.5.2",
    "3.5.3",
    "3.5.5"
  ],
  "infinite stream(s) (of factorials)": [
    "3.5.2"
  ],
  "infinite stream(s) (of pairs)": [
    "3.5.3"
  ],
  "infinite stream(s) (of random numbers)": [
    "3.5.5"
  ],
  "infinite stream(s) (representing power series)": [
    "3.5.2"
  ],
  "infinite stream(s) (to model signals)": [
    "3.5.3"
  ],
  "infinite stream(s) (to sum a series)": [
    "3.5.3"
  ],
  "inform_about_no_value": [
    "3.3.5"
  ],
  "inform_about_value": [
    "3.3.5"
  ],
  "insert (in one dimensional table)": [
    "3.3.3"
  ],
  "insert (in two dimensional table)": [
    "3.3.3"
  ],
  "insert_queue": [
    "3.3.2"
  ],
  "integers": [
    "3.5.2"
  ],
  "integers (implicit definition)": [
    "3.5.2"
  ],
  "integers_starting_from": [
    "3.5.2"
  ],
  "integral": [
    "3.5.3",
    "3.5.4"
  ],
  "integral (need for delayed evaluation)": [
    "3.5.4"
  ],
  "integral (of a power series)": [
    "3.5.2"
  ],
  "integral (with delayed argument)": [
    "3.5.4"
  ],
  "integrate_series": [
    "3.5.2"
  ],
  "integrator, for signals": [
    "3.5.3"
  ],
  "interleave": [
    "3.5.3"
  ],
  "internal declaration (in environment model)": [
    "3.2.4"
  ],
  "inverter": [
    "3.3.4"
  ],
  "inverter (inverter)": [
    "3.3.4"
  ],
  "is (as equality of pointers)": [
    "3.3.1"
  ],
  "is_divisible": [
    "3.5.2"
  ],
  "is_empty_agenda": [
    "3.3.4"
  ],
  "is_empty_queue": [
    "3.3.2"
  ],
  "is_prime": [
    "3.5.2"
  ],
  "iterative process (as a stream process)": [
    "3.5.3"
  ],
  "iterative process (recursive process vs.)": [
    "3.2.2"
  ],
  "key of a record (in a table)": [
    "3.3.3"
  ],
  "key of a record (testing equality of)": [
    "3.3.3"
  ],
  "lambda expression (immediately invoked)": [
    "3.2.3"
  ],
  "lambda expression (value of)": [
    "3.2.1"
  ],
  "last_pair": [
    "3.3.1"
  ],
  "list structure (mutable)": [
    "3.3.1"
  ],
  "list(s) (headed)": [
    "3.3.3",
    "3.3.4"
  ],
  "local state": [
    "3.1",
    "3.1.3"
  ],
  "local state (maintained in frames)": [
    "3.2.3"
  ],
  "local state variable": [
    "3.1.1"
  ],
  "logarithm, approximating $\\ln 2$": [
    "3.5.3"
  ],
  "logical and (digital logic)": [
    "3.3.4"
  ],
  "logical or (digital logic)": [
    "3.3.4"
  ],
  "logical_not": [
    "3.3.4"
  ],
  "lookup (in one dimensional table)": [
    "3.3.3"
  ],
  "lookup (in two dimensional table)": [
    "3.3.3"
  ],
  "make_account": [
    "3.1.1"
  ],
  "make_account (in environment model)": [
    "3.2.4"
  ],
  "make_account (with serialization)": [
    "3.4.2"
  ],
  "make_account_and_serializer": [
    "3.4.2"
  ],
  "make_accumulator": [
    "3.1.1"
  ],
  "make_agenda": [
    "3.3.4"
  ],
  "make_connector": [
    "3.3.5"
  ],
  "make_cycle": [
    "3.3.1"
  ],
  "make_decrementer": [
    "3.1.3"
  ],
  "make_joint": [
    "3.1.3"
  ],
  "make_monitored": [
    "3.1.1"
  ],
  "make_mutex": [
    "3.4.2"
  ],
  "make_queue": [
    "3.3.2"
  ],
  "make_serializer": [
    "3.4.2"
  ],
  "make_simplified_withdraw": [
    "3.1.3",
    "3.5.5"
  ],
  "make_table (message passing implementation)": [
    "3.3.3"
  ],
  "make_table (one dimensional table)": [
    "3.3.3"
  ],
  "make_tableau": [
    "3.5.3"
  ],
  "make_time_segment": [
    "3.3.4"
  ],
  "make_wire": [
    "3.3.4"
  ],
  "make_withdraw": [
    "3.1.1"
  ],
  "make_withdraw (in environment model)": [
    "3.2.3"
  ],
  "make_withdraw (using immediately invoked lambda expression)": [
    "3.2.3"
  ],
  "map_successive_pairs": [
    "3.5.5"
  ],
  "mapping (nested)": [
    "3.5.3"
  ],
  "math_random (reassignment needed for)": [
    "3.1.1"
  ],
  "math_trunc": [
    "3.5.2"
  ],
  "memo": [
    "3.5.1"
  ],
  "memo_fib": [
    "3.3.3"
  ],
  "memoization": [
    "3.3.3"
  ],
  "memoization (in stream tail)": [
    "3.5.1"
  ],
  "memoize": [
    "3.3.3"
  ],
  "merge": [
    "3.5.2"
  ],
  "merge_weighted": [
    "3.5.3"
  ],
  "message passing (environment model and)": [
    "3.2.4"
  ],
  "message passing (in bank account)": [
    "3.1.1"
  ],
  "message passing (in digital circuit simulation)": [
    "3.3.4"
  ],
  "modeling (as a design strategy)": [
    "3"
  ],
  "modularity": [
    "3"
  ],
  "modularity (along object boundaries)": [
    "3.5.5"
  ],
  "modularity (functional programs vs.objects)": [
    "3.5.5"
  ],
  "modularity (hiding principle)": [
    "3.1.1"
  ],
  "modularity (streams and)": [
    "3.5.3"
  ],
  "modularity (through infinite streams)": [
    "3.5.5"
  ],
  "modularity (through modeling with objects)": [
    "3.1.2"
  ],
  "monitored function": [
    "3.1.1"
  ],
  "monte_carlo": [
    "3.1.2"
  ],
  "monte_carlo (infinite stream)": [
    "3.5.5"
  ],
  "mul_series": [
    "3.5.2"
  ],
  "mul_streams": [
    "3.5.2"
  ],
  "multiplier (primitive constraint)": [
    "3.3.5"
  ],
  "mutable data objects": [
    "3.3",
    "3.3.1"
  ],
  "mutable data objects (functional representation of)": [
    "3.3.1"
  ],
  "mutable data objects (implemented with assignment)": [
    "3.3.1"
  ],
  "mutable data objects (list structure)": [
    "3.3.1"
  ],
  "mutable data objects (pairs)": [
    "3.3.1"
  ],
  "mutable data objects (shared data)": [
    "3.3.1"
  ],
  "mutator": [
    "3.3"
  ],
  "mutex": [
    "3.4.2"
  ],
  "mutual exclusion": [
    "3.4.2"
  ],
  "mutual recursion": [
    "3.2.4"
  ],
  "mystery": [
    "3.3.1"
  ],
  "name (encapsulated)": [
    "3.1.1"
  ],
  "name (unbound)": [
    "3.2"
  ],
  "name (value of)": [
    "3.2"
  ],
  "new_withdraw": [
    "3.1.1"
  ],
  "nondeterminism, in behavior of concurrent programs": [
    "3.4.1",
    "3.5.5"
  ],
  "normal order evaluation (delayed evaluation and)": [
    "3.5.4"
  ],
  "object(s)": [
    "3"
  ],
  "object(s) (benefits of modeling with)": [
    "3.1.2"
  ],
  "object(s) (with time varying state)": [
    "3.1.1"
  ],
  "ones": [
    "3.5.2"
  ],
  "operation and type table (assignment needed for)": [
    "3.1.1"
  ],
  "operation and type table (implementing)": [
    "3.3.3"
  ],
  "or gate": [
    "3.3.4"
  ],
  "or gate (or_gate)": [
    "3.3.4"
  ],
  "order of evaluation (assignment and)": [
    "3.1.3"
  ],
  "order of evaluation (in Python)": [
    "3.1.3",
    "3.2.1"
  ],
  "order of events (decoupling apparent from actual)": [
    "3.5.1"
  ],
  "order of events (indeterminacy in concurrent systems)": [
    "3.4.1"
  ],
  "pair (functional implementation of)": [
    "3.3.1"
  ],
  "pair (implemented with mutators)": [
    "3.3.1"
  ],
  "pair(s) (functional representation of)": [
    "3.3.1"
  ],
  "pair(s) (infinite stream of)": [
    "3.5.3"
  ],
  "pair(s) (mutable)": [
    "3.3.1"
  ],
  "pairs": [
    "3.5.3"
  ],
  "partial_sums": [
    "3.5.2"
  ],
  "pass": [
    "3.3.4"
  ],
  "password protected bank account": [
    "3.1.1"
  ],
  "pi_stream": [
    "3.5.3"
  ],
  "pipelining": [
    "3.4"
  ],
  "polymorphic types": [
    "3.5.4"
  ],
  "power series, as stream": [
    "3.5.2"
  ],
  "power series, as stream (adding)": [
    "3.5.2"
  ],
  "power series, as stream (dividing)": [
    "3.5.2"
  ],
  "power series, as stream (integrating)": [
    "3.5.2"
  ],
  "power series, as stream (multiplying)": [
    "3.5.2"
  ],
  "prime number(s) (Eratosthenes's sieve for)": [
    "3.5.2"
  ],
  "prime_sum_pairs (infinite stream)": [
    "3.5.3"
  ],
  "primes": [
    "3.5.2"
  ],
  "primes (implicit definition)": [
    "3.5.2"
  ],
  "primitive constraints": [
    "3.3.5"
  ],
  "print_queue": [
    "3.3.2"
  ],
  "probabilistic algorithm": [
    "3.5.2"
  ],
  "probe (in constraint system)": [
    "3.3.5"
  ],
  "probe (in digital circuit simulator)": [
    "3.3.4"
  ],
  "program environment": [
    "3.2",
    "3.2.4"
  ],
  "programming (demand driven)": [
    "3.5.1"
  ],
  "programming (imperative)": [
    "3.1.3"
  ],
  "programming (odious style)": [
    "3.5.1"
  ],
  "programming language (functional)": [
    "3.5.5"
  ],
  "programming language (statically typed)": [
    "3.5.4"
  ],
  "promise to evaluate": [
    "3.5.1"
  ],
  "propagate": [
    "3.3.4"
  ],
  "propagation of constraints": [
    "3.3.5"
  ],
  "pseudo random sequence": [
    "3.1.2"
  ],
  "put": [
    "3.3.3"
  ],
  "quantum mechanics": [
    "3.5.5"
  ],
  "queue": [
    "3.3.2"
  ],
  "queue (double ended)": [
    "3.3.2"
  ],
  "queue (front of)": [
    "3.3.2"
  ],
  "queue (functional implementation of)": [
    "3.3.2"
  ],
  "queue (in simulation agenda)": [
    "3.3.4"
  ],
  "queue (operations on)": [
    "3.3.2"
  ],
  "queue (rear of)": [
    "3.3.2"
  ],
  "rand": [
    "3.1.2"
  ],
  "rand (with reset)": [
    "3.1.2"
  ],
  "random number generator": [
    "3.1.1",
    "3.1.2"
  ],
  "random number generator (in Monte Carlo simulation)": [
    "3.1.2"
  ],
  "random number generator (with reset)": [
    "3.1.2"
  ],
  "random number generator (with reset, stream version)": [
    "3.5.5"
  ],
  "random_in_range": [
    "3.1.2"
  ],
  "random_numbers": [
    "3.5.5"
  ],
  "rear_ptr": [
    "3.3.2"
  ],
  "reassignment": [
    "3.1.1"
  ],
  "reassignment (benefits of)": [
    "3.1.2"
  ],
  "reassignment (reassignment statement)": [
    "3.1.1"
  ],
  "recursion (mutual)": [
    "3.2.4"
  ],
  "recursive process (iterative process vs.)": [
    "3.2.2"
  ],
  "referential transparency": [
    "3.1.3"
  ],
  "relations, computing in terms of": [
    "3.3.5"
  ],
  "relativity, theory of": [
    "3.4.2"
  ],
  "release a mutex": [
    "3.4.2"
  ],
  "remove_first_agenda_item": [
    "3.3.4"
  ],
  "rest parameter and spread syntax": [
    "3.4.2"
  ],
  "rest_segments": [
    "3.3.4"
  ],
  "ripple carry adder": [
    "3.3.4"
  ],
  "sameness and change (meaning of)": [
    "3.1.3"
  ],
  "sameness and change (shared data and)": [
    "3.3.1"
  ],
  "scale_stream": [
    "3.5.2"
  ],
  "segment_queue": [
    "3.3.4"
  ],
  "segment_time": [
    "3.3.4"
  ],
  "segments": [
    "3.3.4"
  ],
  "semaphore": [
    "3.4.2"
  ],
  "semaphore (of size $n$)": [
    "3.4.2"
  ],
  "sequence accelerator": [
    "3.5.3"
  ],
  "sequence of statements": [
    "3.1.1"
  ],
  "sequence of statements (in block)": [
    "3.1.1"
  ],
  "serialized_exchange": [
    "3.4.2"
  ],
  "serialized_exchange (with deadlock avoidance)": [
    "3.4.2"
  ],
  "serializer": [
    "3.4.2"
  ],
  "serializer (implementing)": [
    "3.4.2"
  ],
  "serializer (with multiple shared resources)": [
    "3.4.2"
  ],
  "series, summation of (accelerating sequence of approximations)": [
    "3.5.3"
  ],
  "series, summation of (with streams)": [
    "3.5.3"
  ],
  "set_current_time": [
    "3.3.4"
  ],
  "set_front_ptr": [
    "3.3.2"
  ],
  "set_head": [
    "3.3.1"
  ],
  "set_head (functional implementation of)": [
    "3.3.1"
  ],
  "set_head (value of)": [
    "3.3.1"
  ],
  "set_rear_ptr": [
    "3.3.2"
  ],
  "set_segments": [
    "3.3.4"
  ],
  "set_signal": [
    "3.3.4"
  ],
  "set_tail": [
    "3.3.1"
  ],
  "set_tail (functional implementation of)": [
    "3.3.1"
  ],
  "set_tail (value of)": [
    "3.3.1"
  ],
  "set_value": [
    "3.3.5"
  ],
  "shadow a binding": [
    "3.2"
  ],
  "shared data": [
    "3.3.1"
  ],
  "shared resources": [
    "3.4.2"
  ],
  "shared state": [
    "3.4.1"
  ],
  "side effect bug": [
    "3.1.3"
  ],
  "sieve of Eratosthenes": [
    "3.5.2"
  ],
  "sieve of Eratosthenes (sieve)": [
    "3.5.2"
  ],
  "signal flow diagram": [
    "3.5.3"
  ],
  "signal processing (smoothing a signal)": [
    "3.5.3"
  ],
  "signal processing (stream model of)": [
    "3.5.3"
  ],
  "signal processing (zero crossings of a signal)": [
    "3.5.3"
  ],
  "signal, digital": [
    "3.3.4"
  ],
  "simulation (event driven)": [
    "3.3.4"
  ],
  "sine (power series for)": [
    "3.5.2"
  ],
  "smoothing a signal": [
    "3.5.3"
  ],
  "solve": [
    "3.5.4"
  ],
  "spread and rest parameter syntax": [
    "3.4.2"
  ],
  "sqrt (as stream limit)": [
    "3.5.3"
  ],
  "sqrt (in environment model)": [
    "3.2.4"
  ],
  "sqrt_stream": [
    "3.5.3"
  ],
  "square (in environment model)": [
    "3.2.1"
  ],
  "square root (stream of approximations)": [
    "3.5.3"
  ],
  "squarer": [
    "3.3.5"
  ],
  "state (shared)": [
    "3.4.1"
  ],
  "state (vanishes in stream formulation)": [
    "3.5.5"
  ],
  "state variable": [
    "3.1"
  ],
  "state variable (local)": [
    "3.1.1"
  ],
  "statement (pass)": [
    "3.3.4"
  ],
  "statically typed language": [
    "3.5.4"
  ],
  "stream(s)": [
    "3",
    "3.5",
    "3.5.5"
  ],
  "stream(s) (delayed evaluation and)": [
    "3.5.4"
  ],
  "stream(s) (empty)": [
    "3.5.1"
  ],
  "stream(s) (implemented as delayed lists)": [
    "3.5.1"
  ],
  "stream(s) (implicit definition)": [
    "3.5.2"
  ],
  "stream_append": [
    "3.5.3"
  ],
  "stream_enumerate_interval": [
    "3.5.1"
  ],
  "stream_filter": [
    "3.5.1"
  ],
  "stream_for_each": [
    "3.5.1"
  ],
  "stream_limit": [
    "3.5.3"
  ],
  "stream_map": [
    "3.5.1"
  ],
  "stream_map_2": [
    "3.5.1"
  ],
  "stream_map_optimized": [
    "3.5.1"
  ],
  "stream_ref": [
    "3.5.1"
  ],
  "stream_tail": [
    "3.5.1"
  ],
  "stream_withdraw": [
    "3.5.5"
  ],
  "string(s) (uniqueness of)": [
    "3.3.1"
  ],
  "substitution model of function application": [
    "3.2"
  ],
  "substitution model of function application (inadequacy of)": [
    "3.1.3"
  ],
  "sum_of_squares (in environment model)": [
    "3.2.2"
  ],
  "sum_primes": [
    "3.5.1"
  ],
  "summation of a series (with streams)": [
    "3.5.3"
  ],
  "syntactic forms (reassignment)": [
    "3.1.1"
  ],
  "syntactic sugar (function vs.data as)": [
    "3.3.4"
  ],
  "syntax interface": [
    "3.3.4"
  ],
  "table": [
    "3.3.3"
  ],
  "table ($n$ dimensional)": [
    "3.3.3"
  ],
  "table (backbone of)": [
    "3.3.3"
  ],
  "table (local)": [
    "3.3.3"
  ],
  "table (one dimensional)": [
    "3.3.3"
  ],
  "table (represented as binary tree vs.unordered list)": [
    "3.3.3"
  ],
  "table (testing equality of keys)": [
    "3.3.3"
  ],
  "table (two dimensional)": [
    "3.3.3"
  ],
  "table (used in simulation agenda)": [
    "3.3.4"
  ],
  "table (used to store computed values)": [
    "3.3.3"
  ],
  "tableau": [
    "3.5.3"
  ],
  "tabulation": [
    "3.3.3"
  ],
  "tail (functional implementation of)": [
    "3.3.1"
  ],
  "tail recursion (environment model of evaluation and)": [
    "3.2.2"
  ],
  "tangent (power series for)": [
    "3.5.2"
  ],
  "temporal dead zone (TDZ)": [
    "3.2.4"
  ],
  "test_and_set": [
    "3.4.2"
  ],
  "thread": [
    "3.4"
  ],
  "thunk (call by name)": [
    "3.5.1"
  ],
  "thunk (call by need)": [
    "3.5.1"
  ],
  "time (assignment and)": [
    "3.4"
  ],
  "time (communication and)": [
    "3.4.2"
  ],
  "time (functional programming and)": [
    "3.5.5"
  ],
  "time (in concurrent systems)": [
    "3.4.1"
  ],
  "time (purpose of)": [
    "3.4.1"
  ],
  "time segment, in agenda": [
    "3.3.4"
  ],
  "time slicing": [
    "3.4.2"
  ],
  "timing diagram": [
    "3.4.1"
  ],
  "transparency, referential": [
    "3.1.3"
  ],
  "type inferencing mechanism": [
    "3.5.4"
  ],
  "type(s) (polymorphic)": [
    "3.5.4"
  ],
  "unbound name": [
    "3.2"
  ],
  "variable (reassignment to)": [
    "3.1.1"
  ],
  "vector (data structure) (used in spread and rest parameter syntax)": [
    "3.4.2"
  ],
  "wire, in digital circuit": [
    "3.3.4"
  ],
  "withdraw": [
    "3.1.1"
  ],
  "withdraw (problems in concurrent system)": [
    "3.4.1"
  ],
  "world line of a particle": [
    "3.5",
    "3.5.5"
  ],
  "zero crossings of a signal": [
    "3.5.3"
  ]
}