Automatic Program Construction Techniques - "Biermann, Acan W" (Macmillan)
includes index and biblioraphy