A. S. Bavan, Geetha Abeysinghe: On the specification and implementation of distributed systems using NMDS and LIPS. Inf. Softw. Technol. 47(11): 721-734 (2005)