Simon Ambler Roy L. Crole Alberto Momigliano Preface: Mechanised Reasoning about Languages with Variable Binding 2001. 2001 58 Electr. Notes Theor. Comput. Sci. 1 http://www.elsevier.nl/locate/entcs/volume58.html db/journals/tcs/entcs58.html#AmblerCM01