Owe, O. "Partial logics reconsidered: a conservative approach" Research Report 155, University of Oslo, June 1991.
(1992)
Languages mentioned
ABEL
{1979} OO Language with specification semantics