David S. Kung
DAC 1998
This is an in depth study of "list" in the sense of LISP. In particular, the notion is algebraicized. © 1977.
David S. Kung
DAC 1998
Pradip Bose
VTS 1998
G. Ramalingam
Theoretical Computer Science
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009