Bastiansen, T. J. "Parametric Subtypes in ABEL" Research report 207, Dept. of Informatics, University of Oslo, 1995.
(1995)
Languages mentioned
ABEL
{1979} OO Language with specification semantics