Hanus, Michael and Frank Zartmann "Mode Analysis of Functional Logic Programs" pp26-42

(1994)

[Proceedings] (1994) Proceedings of the 1st International Static Analysis Symposium (SAS'94), Springer LNCS 864, 1994  

Languages mentioned