Kozen D, Silva A.? 2012.??Practical Coinduction. :1-22.