A.: Higher order imperative programming (1988)

by A Kershenbaum, D Musser, Stepanov