Program transformation in calculational form (1998)

by A Takano, Z Hu, M Takeichi
Venue:Special issues for 1998 Symposium on Partial Evaluation