Title: Alpha-equivalence
First published: 1992