Polymorphic Programming Languages - "Harland, D M" (John Wiley)
includes index and biblioraphy