J. R. Jefferson Wadkins

• Program control as a set-theoretic concept