Advanced Topics in Bisimulation and Coinduction: Howe's method for higher-order languages