Kristofferson, Bjorn and Dahl, Ole-Johan "On Introducing Higher Order Functions in ABEL" Nordic Journal of Computing March 1998.
(1998)
Ole-Johan Dahl
Languages mentioned
ABEL
{1979} OO Language with specification semantics