@TechReport{popescu-rosu-2006-tr-b,
author = {Andrei Popescu and Grigore Ro\c{s}u},
title = "{GFOL: a Term-Generic Logic for Defining Lambda-Calculi }",
institution = {Department of Computer Science, University  of Illinois at Urbana-Champaign},
Number     = {UIUCDCS-R-2006-2756},
Year       = {2006}
}