Complexity theory and the operational structure of algebraic programming systems
deterministic and nondeterministic control constructs and assignments
polynomial time implementable data types
deterministic polynomial space bounded computations
nondeterministic polynomial space bounded computations
scientific article; zbMATH DE number 3770914