Barret, M. L. C and Unix: Tools for software design - New York John Wiley & Sons 1996 - xvii, 446p. ISBN: 0-471-30927-3