On the Origins of Bisimulation and Coinduction