Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J. "Subtyping and constructive specification" Nordic Journal of Computing 5(1) Spring 1998 pp19-49
(1998)
Ole-Johan Dahl
Languages mentioned
ABEL
{1979} OO Language with specification semantics