A. S. Bavan Geetha Abeysinghe On the specification and implementation of distributed systems using NMDS and LIPS. 721-734 2005 47 Information & Software Technology 11 http://dx.doi.org/10.1016/j.infsof.2004.11.004 db/journals/infsof/infsof47.html#BavanA05