Proposal for A Natural Formalization of Functional Programming Concepts. - Patrick Bellot; Djamil Sarni (RAIRO Theor. Informatics Appl., 1988)

Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart. - Djamil Sarni (J. Inf. Process. Cybern., 1990)

O.LISP: theoretical basis and description. - Choun Tong Lieu; Djamil Sarni (ACM SIGPLAN Notices, 1990)

Prolegomena of a Logic of Causality and Dynamism. - Patrick Bellot; J.-P. Cottin; Bernard J. Robinet; Djamil Sarni; J. Leneutre; Emmanuel Zarpas (Stud Logica, 1999)