:Logical Foundations of Functional Programming. 1. ed. Reading : Addison-Wesley Publ. Co., 1990. 491 s. ISBN 0-201-17234-8. [Copy count : 2, currently available 2, at library only 0]