Søren B. Lassen: Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. LICS 2006: 297-306