Practical Coinduction (2012)

by Dexter Kozen Alex , Ra Silva