@InCollection{PittsAM:howmho,
  author =	 {A. M. Pitts},
  editor =	 {D. Sangiorgi and J. Rutten},
  title =	 {Howe's Method for Higher-Order Languages},
  booktitle =	 {Advanced Topics in Bisimulation and Coinduction},
  pages =	 197--232,
  publisher =	 {Cambridge University Press},
  year =	 2011,
  volume =	 52,
  series =	 {Cambridge Tracts in Theoretical Computer Science},
  chapter =	 5,
  month =	 nov,
  isbn =	 {9781107004979}
}