Extensions to SETL to support problem specification and transformation of imperative programs. - Henry Merriman Lewis (1988)