Benjamin Dauvergne Laurent Hascoët The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation. 566-573 2006 conf/iccS/2006-4 International Conference on Computational Science (4) https://doi.org/10.1007/11758549_78 db/conf/iccS/iccS2006-4.html#DauvergneH06