Rewrite Systems -- Input-Output Model Programs -- Tool Papers -- IMITATOR: A Tool for