Using PPCG in Practice by Means of the pencilcc Wrapper. Sven Verdoolaege and Michael Kruse.
Numerical Precision. Cindy Rubio-Gonzalez.