An equational theory for weak bisimulation via generalized parameterized coinduction (Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs)