David Wayne Embley

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