Bisimulation and Coinduction Enhancements: A Historical Perspective