A graph grammar formalism is described and used to define several interesting sets of digraphs, such as rooted acyclic graphs and lattices. It is then argued that the formalism is descriptively powerful and that it constitutes a constructive method for the precise definition of many structures arising in computer science.