Michael Hanus Frank Zartmann Mode Analysis of Functional Logic Programs 26-42 conf/sas/94 SAS 1994 db/conf/sas/sas94.html#HanusZ94