Valery Trifonov Scott F. Smith Subtyping Constrained Types. 349-365 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#TrifonovS96 http://dx.doi.org/10.1007/3-540-61739-6_52