Abstract syntax graphs for domain specific languages
Functional programming with structured graphs