Keisuke Nakano: Shall We Juggle, Coinductively? CPP 2012: 160-172