Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Subtyping and Constructive Specification. 1998 5 Nord. J. Comput. 1 db/journals/njc/njc5.html#DahlOB98