TY - BOOK AU - Blom Stefan TI - Term Graph Rewriting :Syntax And Semantics U1 - 005.131 CY - IPA PB - IPA ER -