Experience with mural in formalising Dust-Expert. - Sunil Vadera; Farid Meziane; Mei-Ling Lin Huang (Inf. Softw. Technol., 2001)