Jonathan Lee, Lein F. Lai: Verifying task-based specifications in conceptual graphs. Inf. Softw. Technol. 39(14-15): 913-923 (1998)