Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten: Newton Series, Coinductively. ICTAC 2015: 91-109