Marcelo P. Fiore: A Coinduction Principle for Recursive Data Types Based on Bisimulation. LICS 1993: 110-119