Next:
Programs and Pure
Up:
Sequential Evolving Algebras
Previous:
Importing Several Elements
Programs and Runs
Programs and Pure Runs
External Functions
Runs
Internal and External Locations
Irrelevant Values of External Functions
