A High Level Language for Specifying Graph-Based Languages and their Programming Environments
