David Clark Chris Hankin Sebastian Hunt Safety of Strictness Analysis via Term Graph Rewriting. 95-114 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#ClarkHH00