Towards Computing Distances Between Programs via Scott Domains. - Michael A. Bukatin; Joshua S. Scott (LFCS, 1997)