Vadera, S, Meziane, F, Huang, MLL, "Experience with mural in formalising Dust-Expert", Information and Software Technology, 2001