On Addition Schemes. - Srecko Brlek; Pierre Castéran; Robert Strandh (TAPSOFT, Vol.2, 1991)

On-Line Evaluation of Powers Using Euclid's Algorithm. - Srecko Brlek; Pierre Castéran; Laurent Habsieger; Richard Mallette (RAIRO Theor. Informatics Appl., 1995)

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions - Yves Bertot; Pierre Castéran (Springer, 2004)

Tasks, Types and Tactics for Local Computation Systems. - Pierre Castéran; Vincent Filou (Stud. Inform. Univ., 2011)

Summer School on Coq (NII Shonan Meeting 2014-9). - Pierre Castéran; Jacques Garrigue; David Nowak (NII Shonan Meet. Rep., 2014)