Advanced Topics in Bisimulation and Coinduction