Categorical combinators, Sequential algorithms and functional programming - Curien P L (London John Wiley, 1986)
Bibliography 285-292p
Keywords: Computer program language; Computer science