Yves Bertot & Pierre Castéran (2004):
Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions.
Texts in Theoretical Computer Science.
Springer Verlag,
doi:10.1007/978-3-662-07964-5.
Richard Bird (1998):
Introduction to Functional Programming using Haskell,
second edition.
Prentice-Hall.
R. M. Burstall (1969):
Proving Properties of Programs by Structural Induction.
The Computer Journal 12(1),
pp. 41–48,
doi:10.1093/comjnl/12.1.41.
Adam Chlipala:
Certified Programming with Dependent Types.
Feb. 12, 2013, availabe online http://adam.chlipala.net/cpdt/.
Guy Couineau & Michel Mauny (1995):
The Functional Approach to Programming.
Cambridge University Press.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt & Shriram Krishnamurthi (2001):
How to design programs: an introduction to programming and computing.
MIT Press,
Cambridge, MA, USA.
Jean H. Gallier (1985):
Logic for computer science: foundations of automatic theorem proving.
Harper & Row Publishers, Inc.,
New York, NY, USA.
Paul Hudak (2000):
The Haskell School of Expression: Learning Functional Programming theough Multimedia.
Cambridge University Press.
Graham Hutton (2007):
Programming in Haskell.
Cambridge University Press,
doi:10.1017/CBO9780511813672.
Miran Lipovaca (2011):
Learn You a Haskell for Great Good: A Beginner's Guide.
No Starch Press.
John Mitchell (1996):
Foundations for Programming Langauges.
MIT Press.
Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002):
Isabelle/HOL — A Proof Assistant for Higher-Order Logic.
LNCS 2283.
Springer.
Lawrence C Paulson (1990):
Logic and computation: interactive proof with Cambridge LCF.
Cambridge University Press.
Benjamin Pierce (2002):
Types and Programming Langauges.
MIT Press.
Chris Reade (1989):
Elements of Functional Programming.
Addison Wesley.
et. al. Simon Peyton Jones (2003):
The Haskell 98 Language and Libraries: The Revised Report.
Journal of Functional Programming 13(1),
pp. 1–255.
Simon Thompson (1999):
Haskell: The Craft of Functional Programming,
second edition.
Addison Wesley.
Glynn Winskel (1993):
The Formal Semantics of Programming Langauges: An Introduction.
MIT Press.