Jonathan Lee Lein F. Lai Verifying task-based specifications in conceptual graphs. 913-923 1998 39 Information & Software Technology 14-15 http://dx.doi.org/10.1016/S0950-5849(97)00054-2 db/journals/infsof/infsof39.html#LeeL98