Arie Harsat Ran Ginosar An Extended RISC Methodology and its Application to FCP. 67-82 1990 ICLP db/conf/iclp/iclp90.html#HarsatG90