@inproceedings{GTTSE-2005-HuYT,
	author        = "Zhenjiang Hu and Tetsuo Yokoyama and Masato Takeichi",
	booktitle     = "{Revised Papers of the First International Summer School on Generative and Transformational Techniques in Software Engineering}",
	doi           = "10.1007/11877028_5",
	editor        = "Ralf Lämmel and João Saraiva and Joost Visser",
	isbn          = "3-540-45778-X",
	pages         = "144--168",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Program Optimizations and Transformations in Calculation Form}",
	volume        = 4143,
	year          = 2005,
}