Combinatory Models and Symbolic Computations (1993)

by K Aberer
Venue:Lecture Notes in Computer Science , Springer Verlag 721