On stepwise explicit substitution (1993)

by F Kamareddine, R P Nederpelt
Venue:International Journal of Foundations of Computer Science