Magnus Niemann Roswitha Bardohl Tool-Based Specification of Visual Languages and Graphic Editors. 456-470 http://link.springer.de/link/service/series/0558/bibs/1785/17850456.htm 2000 conf/tacas/2000 TACAS db/conf/tacas/tacas2000.html#NiemannB00