An experiment on CAI sequencing constructs /

Includes bibliographical references.

Experimental and formal language design applied to control constructs for interactive computing /

Vita.