I'm going to leave this here: http://www.cs.ru.nl/~marko/research/proefschrift/
- Parallel graph rewriting - some contributions to its theory, its implementation and its application
The Clean programming language is build upon this, if I'm not mistaken.