Samuel N. Kamin A FASE Specification of FP. 143-152 1985 conf/lop/1985 Logic of Programs db/conf/lop/lop1985.html#Kamin85