PROGRES

PROgrammed Graph REwriting Systems.