Susumu Hayashi Logic of Refinement Types. 108-126 1993 conf/types/1993 TYPES db/conf/types/types93.html#Hayashi93