Harel, David Algorithmics the spirit of computing David Harel - 2nd ed. - Harlow Addison-Wesley 1992 - xv, 476p. ISBN: 201504014 US