Dahl, Ole-Johan; Owe, Olaf and Bastiansen, Tore J. "Subtyping and Constructive Specification" Nordic Journal of Computing 5(1998), pp1-31

Languages mentioned

• ABEL {1979} OO Language with specification semantics