Compsing Re-usable Synthesis Methods through Graph-based Viewpoints.

Jutta Eusterbrock Compsing Re-usable Synthesis Methods through Graph-based Viewpoints. 143-158 2000 conf/birthday/Bibel2000 Intellectics and Computational Logic db/conf/birthday/bibel2000.html#Eusterbrock00