Michael Hanus: The ALF System. PLILP 1991: 423-424