Barrett, Martin L C and UNIX : tools for software design - New York John Wiley 1996 - xvii, 446p. Includes index ISBN: 9971511886