Bikash Chandra Ghosh, Vilas Wuwongse: Conceptual Graph Programs and Their Declarative Semantics. IEICE Trans. Inf. Syst. 78-D(9): 1208-1217 (1995)