Subtyping and Constructive Specification. - Ole-Johan Dahl; Olaf Owe; Tore J. Bastiansen (Nord. J. Comput., 1998)