[cipl]
John C. Mitchell.
Concepts in Programming Languages.
Cambridge University Press. 2002.
[coqart]
Yves Bertot, Pierre Castéran.
Interactive Theorem Proving and Program Development.
Springer. 2004.
[davis]
Martin Davis, Ron Sigal, Elaine J. Weyuker.
Computability, Complexity, and Languages, 2nd.
Morgan Kaufmann. 1994.
[sicp]
Harold Abelson, Gerald Jay Sussman and Julie Sussman.
Structure and Interpretation of Computer Programs, 2nd.
The MIT Press. 1996.
[sf]
Benjamin C. Pierce.etc.
Software Fundations.