@unknown(barendregt,
 author       = "H.P. Barendregt",
 year         = "1984",
 title        = "The Lambda Calculus: Its Syntax and Semantics",
 publisher    = "Elsevier",
 address      = "Amsterdam",
)
@unknown(crary-std,
 author       = "K. Crary",
 year         = "2009",
 title        = "A Simple Proof of Call-by-Value Standardization",
 type         = "Technical Report",
 number       = "CMU-CS-09-137",
 institution  = "Carnegie-Mellon University",
)
@unknown(curry-feys,
 author       = "H.B. Curry and R. Feys",
 year         = "1958",
 title        = "Combinatory Logic",
 publisher    = "North-Holland Publishing Company",
 address      = "Amsterdam",
)
@unknown(girard,
 author       = "J.-Y. Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 number       = "1",
 pages        = "1--101",
)
@unknown(GLM92,
 author       = "G. Gonthier and J.-J. L{\'e}vy and P.-A. Melli{\`e}s",
 year         = "1992",
 title        = "An abstract standardisation theorem",
 booktitle    = "Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA",
 publisher    = "IEEE Computer Society",
 pages        = "72--81",
)
@unknown(HL91,
 author       = "G. Huet and J.-J. L\'evy",
 year         = "1991",
 title        = "Computations in orthogonal rewriting systems",
 editor       = "Jean-Louis Lassez and Gordon Plotkin",
 booktitle    = "Computational Logic, Essays in Honor of Alan Robinson",
 publisher    = "MIT Press",
 pages        = "394--443",
)
@unknown(JK05,
 author       = "C.B. Jay and D. Kesner",
 year         = "2006",
 title        = "Pure Pattern Calculus",
 editor       = "Peter Sestoft",
 booktitle    = "European Symposium on Programming",
 number       = "3924",
 series       = "LNCS",
 publisher    = "Springer-Verlag",
 pages        = "100--114",
)
@unknown(jk-fcp,
 author       = "C.B. Jay and D. Kesner",
 year         = "2009",
 title        = "First-class patterns",
 journal      = "Journal of Functional Programming",
 volume       = "19",
 number       = "2",
 pages        = "191--225",
)
@unknown(kashima-std,
 author       = "Ryo Kashima",
 year         = "2000",
 title        = "A Proof of the Standardization Theorem in $\lambda $-Calculus",
 type         = "Research Reports on Mathematical and Computing Sciences",
 number       = "C-145",
 institution  = "Tokyo Institute of Technology",
)
@unknown(kvodv,
 author       = "J.W. Klop and V. van Oostrom and R.C. de Vrijer",
 year         = "2008",
 title        = "Lambda calculus with patterns",
 journal      = "Theoretical Computer Science",
 volume       = "398",
 number       = "1-3",
 pages        = "16--31",
)
@unknown(MelliesTh,
 author       = "Paul-Andr\'e Melli\`es",
 year         = "1996",
 title        = "Description Abstraite des Syst\`emes de R\'e\'ecriture",
 type         = "Ph.D. thesis",
 school       = "Universit\'e Paris VII",
)
@unknown(PDR04,
 author       = "Luca Paolini and Simona Ronchi Della Rocca",
 year         = "2004",
 title        = "Parametric parameter passing Lambda-calculus",
 journal      = "Information and Computation",
 volume       = "189",
 number       = "1",
 pages        = "87--106",
)
@unknown(plotkin-std,
 author       = "G. Plotkin",
 year         = "1975",
 title        = "Call-by-name, call-by-value and the Lambda-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "1",
 number       = "2",
 pages        = "125--159",
)
@unknown(takahashi-std,
 author       = "M. Takahashi",
 year         = "1995",
 title        = "Parallel reductions in lambda-calculus",
 journal      = "Information and Computation",
 volume       = "118",
 number       = "1",
 pages        = "120--127",
)
@unknown(Terese03,
 author       = "Terese",
 year         = "2003",
 title        = "Term Rewriting Systems",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "55",
 publisher    = "Cambridge University Press",
)