Ait-Kaci, Hassan and Andreas Podelski. "Functions as passive constraints in LIFE" PRL Research Report 13, Digital Equipment Corporation, Paris Research Laboratory, Rueil­Malmaison, France (1991).

Languages mentioned

• LIFE {1987}