A Note on Proving Congruence of Bisimulation in a Generalized Lambda Calculus,'' unpublished technical memo, AT6T Bell Laboratories (1995)

by D J Howe