Tools and environments for parallel and distributed systems - Zaky, Amr (Kluwer Acad. Publ., 1996)