Program Transformation in Calculational Form (1998)

by Akihiko Takano, Zhenjiang Hu, Masato Takeichi