@Book{SICP,
  author = 	 {Harold Abelson
                and Gerald Jay Sussman
                and Julie Sussman},
  title = 	 {Structure and Interpretation of Computer Programs},
  publisher = 	 {MIT Press},
  year = 	 1996,
  address =	 {Cambridge, Mass.},
  edition =	 "second",
  language =     "USenglish"
}


@Article{barendregt,
  author = 	 {Henk P. Barendregt},
  title = 	 {Introduction to the Lambda Calculus},
  journal = 	 {Nieuw Archief voor Wisenkunde},
  year = 	 1984,
  volume =	 4,
  number =	 2,
  pages =	 {337--372}
}

@InProceedings{Bawden88,
  author =       {Alan Bawden and Jonathan Rees},
  title =        {Syntactic Closures},
  crossref = {LFP1988},
  pages = {86--95},
  year = 1988
}

@InProceedings{bawdenquasiquote,
  author = 	 {Alan Bawden},
  title = 	 {Quasiquotation in {Lisp}},
  crossref =	 {PEPM1999},
  pages =	 {4--12}
}


@Misc{mustard,
  author =	 {Scott Bradner},
  title =	 {Key words for use in {RFC}s to Indicate Requirement Levels.},
  howpublished = {\url{http://www.ietf.org/rfc/rfc2119.txt}},
  month =	 mar,
  year =	 1997,
  note =	 {RFC 2119}
}

@InProceedings{howtoprint,
  author = 	 {Robert G. Burger and R. Kent Dybvig},
  title = 	 {Printing floating-point numbers quickly and accurately},
  crossref =	 {PLDI1996},
  pages =	 {108--116}
}


@PhdThesis{AITR633,
  author = 	 {William Clinger},
  title = 	 {Foundations of Actor Semantics},
  school = 	 {MIT},
  year = 	 1981,
  month =	 may,
  note =	 {MIT Artificial Intelligence Laboratory Technical Report 633}
}

@TechReport{RRRS,
  author =       {William Clinger},
  title = 	 {The revised revised report on {Scheme}, or an uncommon {Lisp}},
  institution =  {MIT},
  year = 	 1985,
  number =	 {MIT Artificial Intelligence Memo 848},
  month =	 1985,
  note =	 {Also published as Computer Science Department Technical Report 174,
  Indiana University, June 1985.}
}

@InProceedings{howtoread,
  author = 	 {William D. Clinger},
  title = 	 {How to Read Floating Point Numbers Accurately},
  crossref =	 {PLDI1990},
  pages =	 {92--101}
}

@Article{R4RS,
  author =       "William Clinger and Jonathan Rees",
  title =        "Revised{$^4$} Report on the Algorithmic Language {Scheme}",
  key =          "Revised{$^4$} Report on the Algorithmic Language {Scheme}",
  journal =      "Lisp Pointers",
  year =         1991,
  volume =       "IV",
  number =       3,
  pages =        "1--55",
  month =        "July--September"
}

@InProceedings{macrosthatwork,
  author = 	 "William Clinger and Jonathan Rees",
  title = 	 "Macros That Work",
  crossref =	 "POPL1991",
  pages =	 "155-162"
}

 
@InProceedings{propertailrecursion,
  author = 	 {William Clinger},
  title = 	 {Proper Tail Recursion and Space Efficiency},
  crossref =	 {PLDI1998},
  pages =	 {174--185}
}

@Misc{IEN137,
  author =	 {Danny Cohen},
  title =	 {On Holy Wars and a Plea for Peace},
  howpublished = {\url{http://www.ietf.org/rfc/ien/ien137.txt}},
  month =	 apr,
  year =	 1980,
  note =	 {Internet Engineering Note 137}
}


@Misc{RFC4122,
  author =	 {P. Leach and M. Mealling and R. Salz},
  title =	 {A {Universally} {Unique} {IDentifier} ({UUID}) {URN} Namespace},
  howpublished = {\url{http://www.ietf.org/rfc/rfc4122.txt}},
  month =	 jul,
  year =	 2005,
  note =	 {RFC 4122}
}

@Misc{srfi1,
  author =	 {Olin Shivers},
  title =	 {{SRFI~1}: List Library},
  howpublished = {\url{http://srfi.schemers.org/srfi-1/}},
  year =	 1999
}

@Misc{srfi33,
  author =	 {Olin Shivers},
  title =	 {{SRFI~33}: Integer Bitwise-operation Library},
  howpublished = {\url{http://srfi.schemers.org/srfi-33/}},
  year =	 2002
}

@Misc{srfi60,
  author =	 {Aubrey Jaffer},
  title =	 {{SRFI~60}: Integers as Bits},
  howpublished = {\url{http://srfi.schemers.org/srfi-60/}},
  year =	 2005
}

@Misc{srfi9,
  author =	 {Richard Kelsey},
  title =	 {{SRFI~9}: Defining Record Types},
  howpublished = {\ur l{http://srfi.schemers.org/srfi-9/}},
  year =	 1999
}

@Misc{srfi74,
  author =	 {Michael Sperber},
  title =	 {{SRFI~74}: Octet-Addressed Binary Blocks},
  howpublished = {\url{http://srfi.schemers.org/srfi-74/}},
  year =	 2005
}

@Misc{srfi76,
  author =	 {Will Clinger and R. Kent Dybvig and Michael Sperber and Anton van Straaten},
  title =	 {{SRFI~76}: {R6RS} Records},
  howpublished = {\url{http://srfi.schemers.org/srfi-76/}},
  year =	 2005
}

@Misc{srfi77,
  author =	 {William D Clinger and Michael Sperber},
  title =	 {{SRFI~77}: Preliminary Proposal for {R6RS} Arithmetic},
  howpublished = {\url{http://srfi.schemers.org/srfi-77/}},
  year =	 2005
}

@Article{syntacticabstraction,
  author = 	 {R. Kent Dybvig and Robert Hieb and Carl Bruggeman},
  title = 	 {Syntactic Abstraction in {Scheme}},
  journal = 	 lasc,
  year = 	 1988,
  volume =	 1,
  number =	 1,
  pages =	 {53-75}
}

@Book{tspl3,
  author =	 {R.~Kent Dybvig},
  title = 	 {The {Scheme} Programming Language},
  publisher = 	 {MIT Press},
  year = 	 2003,
  address =	 {Cambridge},
  edition =	 {third},
  note =	 {\url{http://www.scheme.com/tspl3/}}
}

@Manual{csug7,
  title = 	 {{Chez Scheme} Version 7 User's Guide},
  author =	 {R.~Kent Dybvig},
  organization = {Cadence Research Systems},
  year =	 2005,
  note =	 {\url{http://www.scheme.com/csug7/}}
}

@Misc{srfi93,
  author =	 {R. Kent Dybvig},
  title =	 {{SRFI~93}: {R6RS} {\url{syntax-case}} macros},
  howpublished = {\url{http://srfi.schemers.org/srfi-93/}},
  year =	 2006
}

@InProceedings{cleaninguptower,
  author = 	 {Sebastian Egner and Richard Kelsey and Michael Sperber},
  title = 	 {Cleaning up the tower: Numbers in {Scheme}},
  crossref =	 {Scheme2004},
  pages =	 {109--120}
}

@Manual{Scheme311,
  title = 	 {{Scheme} 311 version 4 reference manual},
  author =	 {Carol Fessenden and William Clinger and Daniel P. Friedman and Christopher Haynes},
  organization = {Indiana University},
  year =	 1983,
  note =	 {Indiana University Computer Science Technical Report 137, Superseded by~\cite{Scheme84}}
}

@Manual{mzscheme352,
  title = 	 {{PLT MzScheme}: Language Manual},
  author =	 {Matthew Flatt},
  organization = {Rice University, University of Utah},
  month =	 jul,
  year =	 2006,
  note =	 {\url{http://download.plt-scheme.org/doc/352/html/mzscheme/}}
}

@Misc{srfi83,
  author =	 {Matthew Flatt and Kent Dybvig},
  title =	 {{SRFI~83}: {R6RS} Library Syntax},
  howpublished = {\url{http://srfi.schemers.org/srfi-83/}},
  year =	 2005
}

@Misc{srfi75,
  author =	 {Matthew Flatt and Marc Feeley},
  title =	 {{SRFI~75}: {R6RS} Unicode Data},
  howpublished = {\url{http://srfi.schemers.org/srfi-75/}},
  year =	 2005
}

@Manual{Scheme84,
  title = 	 {{Scheme} 84 interim reference manual},
  author =	 {Daniel P. Friedman and Christopher Haynes and Eugene Kohlbecker and Mitchell Wand},
  organization = {Indiana University},
  month =	 jan,
  year =	 1985,
  note =	 {Indiana University Computer Science Technical Report 153}
}

@Misc{srfi22,
  author =	 {Martin Gasbichler and Michael Sperber},
  title =	 {{SRFI~22}: Running {Scheme} Scripts on {Unix}},
  howpublished = {\url{http://srfi.schemers.org/srfi-22/}},
  year =	 2002
}

@Book{JLS3,
  author = 	 {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
  title = 	 {The {Java$^{\textrm{TM}}$} Language Specification},
  publisher = 	 {Addison-Wesley},
  year = 	 2005,
  edition = 	 {Third}
}

@Misc{srfi11,
  author =	 {Lars T Hansen},
  title =	 {{SRFI~11}: Syntax for receiving multiple values},
  howpublished = {\url{http://srfi.schemers.org/srfi-11/}},
  year =	 2000
}

@Misc{IEEE,
  title = 	 {{IEEE} Standard 754-1985.  {IEEE} Standard for Binary Floating-Point
Arithmetic},
  institution =  {IEEE},
  year = 	 1985,
  key =		 {IEEE754},
  address =	 {New York},
  note = {Reprinted in SIGPLAN Notices, 22(2):9-25, 1987.}
}

@Misc{IEEE754R,
  title = 	 {{IEEE} 754 Revision Work},
  institution =  {IEEE},
  year = 	 2006,
  key =		 {IEEE754R},
  address =	 {New York},
  howpublished = {\url{http://grouper.ieee.org/groups/754/revision.html}}
}

@Misc{IEEEScheme,
  title = 	 {{IEEE} Standard 1178-1990.  {IEEE} Standard for the {Scheme} Programming Language},
  institution =  {IEEE},
  year = 	 1991,
  key =		 {IEEE1178},
  address =	 {New York},
}

@Article{R5RS,
  author = 	 {Richard Kelsey and William Clinger and Jonathan Rees},
  title = 	 {Revised$^5$ Report on the Algorithmic Language {Scheme}},
  journal = 	 {Higher-Order and Symbolic Computation},
  year = 	 1998,
  volume =	 11,
  number =	 1,
  pages =	 {7-105}
}

@Misc{R6RS,
  author =	 {Michael Sperber and R. Kent Dybvig and Matthew Flatt and Anton van Straaten and Richard Kelsey and William Clinger and Jonathan Rees},
  title =	 {Revised$^6$ Report on the Algorithmic Language {Scheme}},
  howpublished = {\url{http://www.r6rs.org/}},
  year =	 2007
}

@Misc{R6RS-libraries,
  author =	 {Michael Sperber and R. Kent Dybvig and Matthew Flatt and Anton van Straaten and Richard Kelsey and William Clinger and Jonathan Rees},
  title =	 {Revised$^6$ Report on the Algorithmic Language {Scheme} ({Libraries})},
  howpublished = {\url{http://www.r6rs.org/}},
  year =	 2007
}

@Misc{R6RS-appendices,
  author =	 {Michael Sperber and R. Kent Dybvig and Matthew Flatt and Anton van Straaten},
  title =	 {Revised$^6$ Report on the Algorithmic Language {Scheme} ({Non-Normative} Appendices)},
  howpublished = {\url{http://www.r6rs.org/}},
  year =	 2007
}

@Misc{R6RS-rationale,
  author =	 {Michael Sperber and R. Kent Dybvig and Matthew Flatt and Anton van Straaten},
  title =	 {Revised$^6$ Report on the Algorithmic Language {Scheme} ({Rationale})},
  howpublished = {\url{http://www.r6rs.org/}},
  year =	 2007
}

@Misc{srfi34,
  author =	 {Richard Kelsey and Michael Sperber},
  title =	 {{SRFI~34}: Exception Handling for Programs},
  howpublished = {\url{http://srfi.schemers.org/srfi-34/}},
  year =	 2002
}

@Misc{srfi35,
  author =	 {Richard Kelsey and Michael Sperber},
  title =	 {{SRFI~35}: Conditions},
  howpublished = {\url{http://srfi.schemers.org/srfi-35/}},
  year =	 2002
}

@PhdThesis{Kohlbecker86,
  author = 	 {Eugene E. {Kohlbecker Jr.}},
  key = {Kohlbecker},
  title = 	 {Syntactic Extensions in the Programming Language Lisp},
  school = 	 {Indiana University},
  year = 	 1986,
  month =	 aug
}

@InProceedings{hygienic,
  author = 	 {Eugene E. Kohlbecker and Daniel P. Friedman and Matthias Felleisen and Bruce Duba},
  title = 	 {Hygienic Macro Expansion},
  crossref =	 {LFP1986},
  pages =	 {151-161}
}

@Article{Landin65,
  author = 	 {Peter Landin},
  title = 	 {A correspondence between {Algol 60} and {Church}'s lambda notation: Part {I}},
  journal = 	 cacm,
  year = 	 1965,
  volume =	 8,
  number =	 2,
  pages =	 {89--101},
  month =	 feb
}

@Manual{MITScheme,
  title = 	 {{Scheme} manual, seventh edition},
  organization = {MIT Department of Electrical Engineering and Computer Science},
  month =	 sep,
  year =	 1984
}

@Article{Naur63,
  author = {J. W. Backus and F.L. Bauer and J.Green and C. Katz and J. McCarthy
P. Naur and A. J. Perlis and H. Rutishauser and K. Samuelson and B. Vauquois
J. H. Wegstein and A. van Wijngaarden and M. Woodger},
  editor = {Peter Naur},  
  title = 	 {Revised report on the algorithmic language {Algol 60}},
  journal = 	 cacm,
  year = 	 1963,
  volume =	 6,
  number =	 1,
  pages =	 {1--17}
}

@InProceedings{Penfield81,
  author = 	 {Paul {Penfield Jr.}},
  title = 	 {Principal values and branch cuts in complex {APL}},
  crossref =	 {APL1981},
  pages =	 {248--256}
}

@Manual{Pitman83,
  title = 	 {The revised {MacLisp} manual (Saturday evening edition)},
  author =	 {Kent M. Pitman},
  organization = {MIT},
  month =	 may,
  year =	 1983,
  note =	 {MIT Laboratory for Computer Science Technical Report 295}
}

@inproceedings{Rees82,
 author = {Jonathan A. Rees and Norman I. Adams IV},
 title = {T: a dialect of Lisp or LAMBDA: The ultimate software tool},
 crossref = {LFP1982},
 pages = {114--122}
 }

@Manual{Rees84,
  title = 	 {The {T} manual},
  author =	 {Jonathan A. Rees and Norman I.~Adams IV and James R.~Meehan},
  organization = {Yale University Computer Science Department},
  edition =	 {fourth},
  month =	 jan,
  year =	 1984
}

@Article{R3RS,
  author =       {William Clinger and Jonathan Rees},
  title =        {Revised{$^3$} Report on the Algorithmic Language {Scheme}},
  journal =      notices,
  year =         1986,
  volume =       21,
  number =       12,
  pages =        {37--79},
  month =        dec
}

@INPROCEEDINGS{Reynolds72,
        BOOKTITLE = {ACM Annual Conference},
        AUTHOR = {John C. Reynolds},
        TITLE = {Definitional Interpreters for Higher-Order Programming Languages},
        YEAR = 1972,
        PAGES = {717-740},
        MONTH = jul
}

@Book{algorithms,
  author =	 {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein},
  title = 	 {Introduction to Algorithms},
  publisher = 	 {MIT Press and McGraw-Hill},
  year = 	 2001,
  edition =	 {second}
}


@Article{quicksort,
  author = 	 {C. A. R. Hoare},
  title = 	 {Algorithm 63 (Partition); 64 (Quicksort); 65 (Find)},
  journal = 	 {Communications of the {ACM}},
  year = 	 1961,
  volume =	 4,
  number =	 7,
  pages =	 {321--322}
}

@TechReport{Scheme78,
  author = 	 {Guy Lewis {Steele Jr.} and Gerald Jay Sussman},
  title = 	 {The revised report on {Scheme}, a dialect of {Lisp}},
  institution =  {MIT},
  year = 	 1978,
  number =	 {MIT Artificial Intelligence Memo 452},
  month =	 jan
}

@TechReport{Rabbit,
  author = 	 {Guy Lewis {Steele Jr.}},
  title = 	 {{Rabbit}: a compiler for {Scheme}},
  institution =  {MIT},
  year = 	 1978,
  number =	 {MIT Artificial Intelligence Laboratory Technical Report 474},
  month =	 may
}

@Book{CltL,
  author =	 {Guy Lewis {Steele Jr.}},
  title = 	 {{Common Lisp}: The Language},
  publisher = 	 {Digital Press},
  year = 	 1990,
  address =	 {Burlington, MA},
  edition =	 {second}
}

@TechReport{Scheme75,
  author = 	 {Gerald Jay Sussman and Guy Lewis Steele Jr.},
  title = 	 {{Scheme}: an interpreter for extended lambda calculus},
  institution =  {MIT},
  year = 	 1975,
  number =	 {MIT Artificial Intelligence Memo 349},
  month =	 dec
}

@Misc{SchemeCharter2006,
  key =		 {Scheme Charter},
  title =	 {{Scheme} Standardization charter},
  howpublished = {\url{http://www.schemers.org/Documents/Standards/Charter/mar-2006.txt}},
  month =	 mar,
  year =	 2006
}

@Book{Stoy77,
    author = {Joseph Stoy},
    title = {Denotational Semantics: The {Scott-Strachey} Approach to Programming Language Theory},
    publisher = {MIT Press},
    year = 1977
}

@Manual{TImanual85,
  title = 	 {{TI Scheme} Language Reference Manual},
  key =		 {Texas Instruments},
  organization = {Texas Instruments, Inc.},
  month =	 nov,
  year =	 1985,
  note =	 {Preliminary version 1.0}
}

@Misc{Unicode,
  key =		 {Unicode},
  author =	 {The {Unicode Consortium}},
  title =	 {The {Unicode} Standard, Version 5.0.0},
  howpublished = {defined by: {\em The Unicode Standard, Version 5.0} (Boston, MA,
 Addison-Wesley, 2007. ISBN 0-321-48091-0)},
  year =	 2007
}

@Misc{UnicodeUAX29,
  author =	 {Mark Davis},
  title =	 {{Unicode} {Standard} {Annex} \#29: Text Boundaries},
  howpublished = {\url{http://www.unicode.org/reports/tr29/}},
  year =	 2006
}

@PhdThesis{Waddellphd,
  author = 	 {Oscar Waddell},
  title = 	 {Extending the Scope of Syntactic Abstraction},
  school = 	 {Indiana University},
  year = 	 1999,
  month =	 aug,
  note =	 {\url{http://www.cs.indiana.edu/~owaddell/papers/thesis.ps.gz}}
}

@Book{WaiteGoos,
        author = {William M. Waite and Gerhard Goos},
        title = {Compiler Construction},
        publisher = SP,
        year = 1984
}



@Unpublished{ff:monograph,
  author = 	 {Matthias Felleisen and Matthew Flatt},
  title = 	 {Programming Languages and Lambda Calculi},
  note = 	 {{\url{http://www.cs.utah.edu/plt/publications/pllc.pdf}}},
  year =	 2003
}

@InProceedings{mf:op-r5rs,
  author = 	 {Jacob Matthews and Robert Bruce Findler},
  title = 	 {An Operational Semantics for {R5RS Scheme}},
  crossref =	 {Scheme2005},
  pages =	 {41--54}
}

@InProceedings{mf:interop,
  author = 	 {Jacob Matthews and Robert Bruce Findler},
  title = 	 {Operational semantics for multi-language programs},
  crossref =	 {POPL2007}
}

@InProceedings{mfff:plt-redex,
  author = 	 {Jacob Matthews and Robert Bruce Findler and Matthew Flatt and Matthias Felleisen},
  title = 	 {A Visual Environment for Developing Context-Sensitive Term Rewriting Systems},
  crossref =	 {RTA2004}
}

@Article{wf:type-soundness,
title={A Syntactic Approach to Type Soundness},
author={Andrew Wright and Matthias Felleisen},
pages={38--94},
journal={Information and Computation},
year=1994,
volume=115,
number=1,
note={{F}irst appeared as Technical Report TR160, Rice University, 1991}
}


@Article{Curtis1991,
  author = 	 {Pavel Curtis},
  title = 	 {The {Scheme} of {Things}},
  journal = 	 {Lisp Pointers},
  year = 	 1991,
  volume =	 {IV},
  number =	 1,
  month =	 mar
}

@Incollection{SteeleGabriel1993,
        AUTHOR = {Guy L. {Steele Jr.} and Richard P. Gabriel},
        PAGES = {231--270},
        TITLE = {The Evolution of {Lisp}},
        CROSSREF = {HOPL1993}
}

@PROCEEDINGS{HOPL1993,
        TITLE = {History of Programming Languages~II},
        YEAR = 1993,
        BOOKTITLE = {History of Programming Languages~II},
        EDITOR = {Jean E. Sammet},
        PUBLISHER = {{ACM}},
        ADDRESS = {New York},
        MONTH = apr,
        NOTE = {SIGPLAN Notices 3(28)}
}

@Proceedings{LFP1988,
        key={LFP 1988},
        title = {{ACM} Conference on {Lisp} and Functional Programming},
        year = 1988,
        booktitle = {{ACM} Conference on {Lisp} and Functional Programming},
	address = {Snowbird, Utah},
        publisher = {{ACM} Press}
}


@PROCEEDINGS{PLDI1996,
        KEY = {PLDI~1996},
        TITLE = proc#{of the {ACM SIGPLAN} '96 Conference on Programming Language Design and Implementation},
        YEAR = 1996,
        BOOKTITLE = proc#{of the {ACM SIGPLAN} '96 Conference on Programming Language Design and Implementation},
        PUBLISHER = {{ACM} Press},
        ADDRESS = {Philadelphia, PA, USA},
 isbn = {0-89791-795-2},
        MONTH = may
}


@Proceedings{PEPM1999,
        title = proclong#acmsigwork#PEPM#{ PEPM '99},
        year = 1999,
        booktitle = proc#acmsigwork#PEPM#{ PEPM '99},
        editor = {Olivier Danvy},
        address = {San Antonio, Texas, USA},
        month = jan,
        note = {BRICS Notes Series NS-99-1}
}

@Proceedings{PLDI1990,
        KEY = {PLDI~1990},
        title = proc#PLDI#{ '90},
        BOOKTITLE = proc#PLDI#{ '90},
        year =   1990,
        publisher =      "{ACM}",
        month =  jun,
        address = {White Plains, New York, USA},
        mynote = "SIGPLAN Notices 25(6)"
}


@PROCEEDINGS{POPL1991,
        KEY = {POPL~1991},
        TITLE = proc#" 1991 "#acmpopl,
        YEAR = 1991,
        BOOKTITLE = proc#" 1991 "#acmpopl,
        PUBLISHER = {{ACM} Press},
        ADDRESS = {Orlando, Florida},
        MONTH = jan
}

@Proceedings{PLDI1998,
  title = 	 proclong#" 1998 "#PLDI,
  booktitle = 	 proclong#" 1998 "#PLDI,
  year = 	 1998,
  key =		 "PLDI~1998",
  editor =	 "Keith Cooper",
 publisher = {ACM Press},
  address =	 "Montreal, Canada",
  month =	 jun,
 isbn = {0-89791-987-4},
  note =	{Volume 33(5) of }#notices
}

@Proceedings{Scheme2004,
  title = 	 {Proceedings of the Fifth Workshop on Scheme and Functional Programming},
  booktitle = 	 {Proceedings of the Fifth Workshop on Scheme and Functional Programming},
  year = 	 2004,
  editor =	 {Olin Shivers and Oscar Waddell},
  address =	 {Snowbird},
  month =	 oct,
  note = {Indiana University Technical Report TR600}
}

@PROCEEDINGS{LFP1986,
        KEY={LFP 1986},
        TITLE = proclong#{ 1986 {ACM} Conference on {Lisp} and Functional Programming},
        YEAR = 1986,
        BOOKTITLE = proclong#{ 1986 {ACM} Conference on {Lisp} and Functional Programming}
}

@PROCEEDINGS{RTA2004,
        TITLE = Proc#{15th Conference on Rewriting Techniques and Applications},
        BOOKTITLE = Proc#{15th Conference on Rewriting Techniques and Applications},
        YEAR = 2004,
        PUBLISHER = SP,
        ADDRESS = {Aachen},
        MONTH = jun
}

@Proceedings{Scheme2005,
  title = 	 {Proceedings of the Sixth Workshop on Scheme and Functional Programming},
  booktitle = 	 {Proceedings of the Sixth Workshop on Scheme and Functional Programming},
  year = 	 2005,
  editor =	 {J. Michael Ashley and Michael Sperber},
  address =	 {Tallin, Estonia},
  month =	 sep,
  note = {Indiana University Technical Report TR619}
}

@Proceedings{APL1981,
  title = 	 {APL '81 Conference Proceedings},
  booktitle = 	 {APL '81 Conference Proceedings},
  year = 	 1981,
  address =	 {San Francisco},
  month =	 sep,
  organization = {ACM SIGAPL},
  note =	 {Proceedings published as {\textit{APL Quote Quad}} 12(1)}
}

@PROCEEDINGS{LFP1982,
        KEY={LFP 1982},
        TITLE = {{ACM} Conference on {Lisp} and Functional Programming},
        BOOKTITLE = {{ACM} Conference on {Lisp} and Functional Programming},
        YEAR = 1982,
        ADDRESS = {Pittsburgh, Pennsylvania},
        PUBLISHER = {{ACM} Press}
}

@Proceedings{POPL2007,
  title =        proc#"34rd "#popl,
  booktitle =    proc#"34rd "#popl,
  year =         2007,
  key =          "POPL~2007",
  editor =       "Matthias Felleisen",
  publisher =    "{ACM} Press",
  address =      "Nice, France",
  month =        jan
}      

@article{mf:scheme-op-sem,
  title="An Operational Semantics for {S}cheme",
  author="Jacob Matthews and Robert Bruce Findler",
  year=2007,
  journal="Journal of Functional Programming",
  note="{\href{http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1268564&fulltextType=RA&fileId=S0956796807006478}{From \url{http://www.cambridge.org/journals/JFP/}}}"
}