Dahl, O.-J. and Owe, O. "Formal Development with ABEL" In VDM91, LNCS 552, pp320-363.
(1991)
Ole-Johan Dahl
Languages mentioned
ABEL
{1979} OO Language with specification semantics