Manfred Jackel ADA Concurrency Specified by Graph Grammars. 41-57 1986 conf/wg/1986 WG db/conf/wg/wg86.html#Jackel86 http://dx.doi.org/10.1007/3-540-17218-1_48