Dahl, O.-J.; Langmyhr, D.F. and Owe. O. "Preliminary report on the specification and programming language ABEL" Research report 106, University of Oslo, December 1986.

Languages mentioned

• ABEL {1979} OO Language with specification semantics