On the origins of bisimulation and coinduction