K. Majumdar and U. N. Singh, “A Formal Model of Ods Schema in LIPS”, srels, vol. 45, no. 2, pp. 155–168, Jun. 2008.