NETMAN: An Object-Oriented Environment for Experimenting Distributed Algorithms on a Network of Workstations. - Kshirasagar Naik; Y. Tahara; Zixue Cheng (HPDC, 1998)