Title: Software Engineering with OBJ: Algebraic Specification in Action / Edition 1, Author: Joseph A. Goguen
Title: Arrays, Functional Languages, and Parallel Systems / Edition 1, Author: Lenore M. Restifo Mullin
Title: Two-Level Functional Languages, Author: Flemming Nielson
Title: Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Author: Guy McCusker
Title: The Optimal Implementation of Functional Programming Languages, Author: Andrea Asperti
Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Foundations of F# / Edition 1, Author: Robert Pickering
Title: Expert F# / Edition 1, Author: Antonio Cisternino