%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.05",
%%%     date            = "17 April 2001",
%%%     time            = "09:07:57 MDT",
%%%     filename        = "higherordersymbcomput.bib",
%%%     address         = "Center for Scientific Computing
%%%                        University of Utah
%%%                        Department of Mathematics, 322 INSCC
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 585 1640, +1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "18634 1268 4312 43639",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org, beebe at ieee.org
%%%                        (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, Higher-Order Symbolic
%%%                        Computation",
%%%     supported       = "no",
%%%     docstring       = "This is a COMPLETE bibliography of the
%%%                        journal Higher-Order and Symbolic
%%%                        Computation (CODEN LSCOEX, ISSN 1388-3690),
%%%                        published by Kluwer Academic Publishers.
%%%
%%%                        Publication began with volume 11, number 1,
%%%                        in August 1998, as the continuation of the
%%%                        older journal Lisp and Symbolic
%%%                        Computation.  The latter is covered in a
%%%                        separate companion bibliography,
%%%                        lispsymbcomput.bib.
%%%
%%%                        The two journals share a World-Wide Web
%%%                        site at
%%%
%%%                            http://www.wkap.nl/jrnltoc.htm/1388-3690
%%%
%%%                        with tables of contents for volume 11 to
%%%                        date, and pointers to abstracts, keywords,
%%%                        and, for qualified subscribers only, full
%%%                        text of articles in PDF form.  URL values
%%%                        in the entries below point to these
%%%                        documents.
%%%
%%%                        At version 1.05, the year coverage looked
%%%                        like this:
%%%
%%%                             1998 (  15)    2000 (  28)
%%%                             1999 (  19)    2001 (   4)
%%%
%%%                             Article:         66
%%%
%%%                             Total entries:   66
%%%
%%%                        The initial draft of this bibliography was
%%%                        constructed from the journal Web site, and
%%%                        from the OCLC Contents1st database.  There is
%%%                        no coverage of this journal in the MathSciNet
%%%                        database.  The collection was then augmented
%%%                        with entries from the author's personal
%%%                        bibliography files, and a small number from
%%%                        the very large computer science bibliography
%%%                        collection at the University of Karlsruhe in
%%%                        http://liinwww.ira.uka.de/bibliography/ and
%%%                        ftp://ftp.ira.uka.de/pub/bibliography to
%%%                        which many people of have contributed.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%----------------------------------------------------------------------
%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    Center for Scientific Computing,
                    University of Utah,
                    Department of Mathematics, 322 INSCC,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 585 1640, +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org|,
                            \path|beebe@ieee.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%----------------------------------------------------------------------
%% Journal abbreviations:

@String{j-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"}

%%----------------------------------------------------------------------
%% Bibliography entries:

@Article{Kessler:1998:E,
  author =       "Bob Kessler and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "1",
  pages =        "5--5",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Thu Feb 11 15:12:29 MST 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+1+1998",
  URL =          "http://www.wkap.nl/oasis.htm/182522",
  acknowledgement = ack-nhfb,
}

@Article{Abelson:1998:RRA,
  author =       "H. Abelson and R. K. Dybvig and C. T. Haynes and G. J.
                 Rozas and N. I. Adams IV and D. P. Friedman and E.
                 Kohlbecker and G. L. {Steele Jr.} and D. H. Bartley and
                 R. Halstead and D. Oxley and G. J. Sussman and G.
                 Brooks and C. Hanson and K. M. Pitman and M. Wand",
  title =        "Revised Report on the Algorithmic Language {Scheme}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "1",
  pages =        "7--105",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Thu Feb 11 15:12:29 MST 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+1+1998",
  URL =          "http://www.wkap.nl/oasis.htm/168705",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1998:I,
  author =       "Olivier Danvy and Carolyn L. Talcott",
  title =        "Introduction",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "115--116",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:00 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998",
  URL =          "http://www.wkap.nl/oasis.htm/187565",
  acknowledgement = ack-nhfb,
}

@Article{Thielecke:1998:ILG,
  author =       "Hayo Thielecke",
  title =        "An Introduction to {Landin}'s {``A Generalization of
                 Jumps and Labels''}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "117--123",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:00 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/187566",
  acknowledgement = ack-nhfb,
}

@Article{Landin:1998:GJL,
  author =       "Peter J. Landin",
  title =        "A Generalization of Jumps and Labels",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "125--143",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:00 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/188501",
  acknowledgement = ack-nhfb,
}

@Article{Kucan:1998:RAC,
  author =       "Jakov Kucan",
  title =        "Retraction Approach to {CPS} Transform",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "145--175",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:00 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/187567",
  acknowledgement = ack-nhfb,
}

@Article{Boudol:1998:CDS,
  author =       "G{\'e}rard Boudol",
  title =        "The $p$-Calculus in Direct Style",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "177--208",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:00 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/187568",
  acknowledgement = ack-nhfb,
}

@Article{Biagioni:1998:SST,
  author =       "Edoardo Biagioni and Ken Cline and Peter Lee and Chris
                 Okasaki and Chris Stone",
  title =        "Safe-for-Space Threads in {Standard ML}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "2",
  pages =        "209--225",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:00 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/187569",
  acknowledgement = ack-nhfb,
}

@Article{Moreau:1998:STD,
  author =       "Luc Moreau",
  title =        "A Syntactic Theory of Dynamic Binding",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "233--279",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:02 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+3+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/188358",
  acknowledgement = ack-nhfb,
}

@Article{Talcott:1998:CSM,
  author =       "Carolyn L. Talcott",
  title =        "Composable Semantic Models for Actor Theories",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "3",
  pages =        "281--343",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:02 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+3+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/188360",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1998:E,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "353--354",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:05 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998",
  URL =          "http://www.wkap.nl/oasis.htm/193814",
  acknowledgement = ack-nhfb,
}

@Article{Reynolds:1998:DIR,
  author =       "John C. Reynolds",
  title =        "Definitional Interpreters Revisited",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "355--361",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:05 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/193815",
  acknowledgement = ack-nhfb,
}

@Article{Reynolds:1998:DIH,
  author =       "John C. Reynolds",
  title =        "Definitional Interpreters for Higher-Order Programming
                 Languages",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "363--397",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:05 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/193816",
  acknowledgement = ack-nhfb,
}

@Article{Sussman:1998:FRS,
  author =       "Gerald Jay Sussman and Guy L. {Steele Jr.}",
  title =        "The First Report on {Scheme} Revisited",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "399--404",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:05 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/193819",
  acknowledgement = ack-nhfb,
}

@Article{Sussman:1998:SIE,
  author =       "Gerald Jay Sussman and Guy L. {Steele Jr.}",
  title =        "{Scheme}: {An} Interpreter for Extended Lambda
                 Calculus",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "11",
  number =       "4",
  pages =        "405--439",
  month =        dec,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:05 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
                 OCLC Contents1st database",
  URL =          "http://www.wkap.nl/oasis.htm/193825",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1999:Ea,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "5--5",
  month =        apr,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:07 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
  URL =          "http://www.wkap.nl/oasis.htm/202966",
  acknowledgement = ack-nhfb,
}

@Article{Clinger:1999:ISF,
  author =       "William D. Clinger and Anne H. Hartheimer and Eric M.
                 Ost",
  title =        "Implementation Strategies for First-Class
                 Continuations",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "7--45",
  month =        apr,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:07 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
  URL =          "http://www.wkap.nl/oasis.htm/202967",
  acknowledgement = ack-nhfb,
}

@Article{Thielecke:1999:UCT,
  author =       "Hayo Thielecke",
  title =        "Using a Continuation Twice and Its Implications for
                 the Expressive Power of call\slash cc",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "47--73",
  month =        apr,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:07 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
  URL =          "http://www.wkap.nl/oasis.htm/202968",
  acknowledgement = ack-nhfb,
}

@Article{Lillibridge:1999:UEC,
  author =       "Mark Lillibridge",
  title =        "Unchecked Exceptions Can Be Strictly More Powerful
                 Than Call\slash {CC}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "75--104",
  month =        apr,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:07 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
  URL =          "http://www.wkap.nl/oasis.htm/202969",
  acknowledgement = ack-nhfb,
}

@Article{Sandewall:1999:EUC,
  author =       "Erik Sandewall",
  title =        "An Early Use of Continuations and Partial Evaluation
                 for Compiling Rules Written in First-Order Predicate
                 Calculus",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "1",
  pages =        "105--113",
  month =        apr,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:07 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
  URL =          "http://www.wkap.nl/oasis.htm/202970",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1999:I,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Introduction",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "123--124",
  month =        sep,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:09 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
  URL =          "http://www.wkap.nl/oasis.htm/234968",
  acknowledgement = ack-nhfb,
}

@Article{Barthe:1999:CTA,
  author =       "Gilles Barthe and John Hatcliff and Morten Heine B. S{\o}rensen",
  title =        "{CPS} Translations and Applications: The Cube and Beyond",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "125--170",
  month =        sep,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Feb 10 08:24:54 MST 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
  URL =          "http://www.wkap.nl/oasis.htm/234969",
  acknowledgement = ack-nhfb,
}

@Article{Mason:1999:CC,
  author =       "Ian A. Mason",
  title =        "Computing with Contexts",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "171--201",
  month =        sep,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:09 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
  URL =          "http://www.wkap.nl/oasis.htm/234970",
  acknowledgement = ack-nhfb,
}

@Article{Lee:1999:PEE,
  author =       "C. S. Lee",
  title =        "Partial Evaluation of the {Euclidean} Algorithm,
                 Revisited",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "2",
  pages =        "203--212",
  month =        sep,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Jul 17 17:47:09 MDT 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
  URL =          "http://www.wkap.nl/oasis.htm/234971",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1999:Eb,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "219--219",
  month =        oct,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n3",
  URL =          "http://www.wkap.nl/oasis.htm/237511",
  acknowledgement = ack-nhfb,
}

@Article{Steele:1999:GL,
  author =       "Guy L. {Steele Jr.}",
  title =        "Growing a Language",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "221--236",
  month =        oct,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n3",
  URL =          "http://www.wkap.nl/oasis.htm/237513",
  acknowledgement = ack-nhfb,
}

@Article{Aiken:1999:ORP,
  author =       "Alexander Aiken and Edward L. Wimmers and Jens
                 Palsberg",
  title =        "Optimal Representations of Polymorphic Types with
                 Subtyping",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "237--282",
  month =        oct,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n3",
  URL =          "http://www.wkap.nl/oasis.htm/237515",
  acknowledgement = ack-nhfb,
}

@Article{Wand:1999:CBMa,
  author =       "Mitchell Wand",
  title =        "Continuation-Based Multiprocessing Revisited",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "283--283",
  month =        oct,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n3",
  URL =          "http://www.wkap.nl/oasis.htm/237519",
  acknowledgement = ack-nhfb,
}

@Article{Wand:1999:CBMb,
  author =       "Mitchell Wand",
  title =        "Continuation-Based Multiprocessing",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "3",
  pages =        "285--299",
  month =        oct,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n3",
  URL =          "http://www.wkap.nl/oasis.htm/237518",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1999:Ec,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "307--308",
  month =        dec,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n4",
  URL =          "http://www.wkap.nl/oasis.htm/247760",
  acknowledgement = ack-nhfb,
}

@Article{Chirokoff:1999:CPD,
  author =       "Sandrine Chirokoff and Charles Consel and Renaud
                 Marlet",
  title =        "Combining Program and Data Specialization",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "309--335",
  month =        dec,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n4",
  URL =          "http://www.wkap.nl/oasis.htm/247762",
  acknowledgement = ack-nhfb,
}

@Article{Hornof:1999:CCR,
  author =       "Luke Hornof and Trevor Jim",
  title =        "Certifying Compilation and Run-Time Code Generation",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "337--375",
  month =        dec,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n4",
  URL =          "http://www.wkap.nl/oasis.htm/247764",
  acknowledgement = ack-nhfb,
}

@Article{Futamura:1999:PECa,
  author =       "Yoshihiko Futamura",
  title =        "Partial Evaluation of Computation Process, Revisited",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "377--380",
  month =        dec,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n4",
  URL =          "http://www.wkap.nl/oasis.htm/247765",
  acknowledgement = ack-nhfb,
}

@Article{Futamura:1999:PECb,
  author =       "Yoshihiko Futamura",
  title =        "Partial Evaluation of Computation Process --- An
                 Approach to a Compiler-Compiler",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "12",
  number =       "4",
  pages =        "381--391",
  month =        dec,
  year =         "1999",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v12-n4",
  URL =          "http://www.wkap.nl/oasis.htm/247768",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:2000:Ea,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "5--6",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/257991",
  acknowledgement = ack-nhfb,
}

@Article{Mosses:2000:FFC,
  author =       "Peter D. Mosses",
  title =        "A Foreword to {``Fundamental Concepts in Programming
                 Languages''}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "7--9",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/257992",
  acknowledgement = ack-nhfb,
}

@Article{Strachey:2000:FCP,
  author =       "Christopher Strachey",
  title =        "Fundamental Concepts in Programming Languages",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "11--49",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/257993",
  acknowledgement = ack-nhfb,
}

@Article{Burstall:2000:CSP,
  author =       "Rod Burstall",
  title =        "Understanding Programming Languages",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "51--55",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258012",
  acknowledgement = ack-nhfb,
}

@Article{Dybvig:2000:MSA,
  author =       "R. Kent Dybvig",
  title =        "From Macrogeneration to Syntactic Abstraction",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "57--63",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258015",
  acknowledgement = ack-nhfb,
}

@Article{Gordon:2000:CSR,
  author =       "Mike Gordon",
  title =        "{Christopher Strachey}: Recollections of His
                 Influence",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "65--67",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258017",
  acknowledgement = ack-nhfb,
}

@Article{Hartley:2000:CC,
  author =       "David Hartley",
  title =        "{Cambridge} and {CPL} in the 1960s",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "69--70",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258018",
  acknowledgement = ack-nhfb,
}

@Article{Hoare:2000:HAF,
  author =       "C. A. R. Hoare",
  title =        "A Hard Act to Follow",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "71--72",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258019",
  acknowledgement = ack-nhfb,
}

@Article{Jackson:2000:CSP,
  author =       "Michael Jackson",
  title =        "{Christopher Strachey}: {A} Personal Recollection",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "73--74",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258020",
  acknowledgement = ack-nhfb,
}

@Article{Landin:2000:MYS,
  author =       "Peter J. Landin",
  title =        "My Years with {Strachey}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "75--76",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258021",
  acknowledgement = ack-nhfb,
}

@Article{Milne:2000:LCI,
  author =       "Robert Milne",
  title =        "From Language Concepts to Implementation Concepts",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "77--81",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258022",
  acknowledgement = ack-nhfb,
}

@Article{Penrose:2000:RCS,
  author =       "Roger Penrose",
  title =        "Reminiscences of {Christopher Strachey}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "83--84",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258023",
  acknowledgement = ack-nhfb,
}

@Article{Richards:2000:CSC,
  author =       "Martin Richards",
  title =        "{Christopher Strachey} and the {Cambridge CPL}
                 Compiler",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "85--88",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258024",
  acknowledgement = ack-nhfb,
}

@Article{Schmidt:2000:IDC,
  author =       "David A. Schmidt",
  title =        "Induction, Domains, Calculi: {Strachey}'s
                 Contributions to Programming-Language Engineering",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "89--101",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258025",
  acknowledgement = ack-nhfb,
}

@Article{Scott:2000:SRS,
  author =       "Dana Scott",
  title =        "Some Reflections on {Strachey} and His Work",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "103--114",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258026",
  acknowledgement = ack-nhfb,
}

@Article{Stoy:2000:CSF,
  author =       "Joe Stoy",
  title =        "{Christopher Strachey} and Fundamental Concepts",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "115--117",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258027",
  acknowledgement = ack-nhfb,
}

@Article{Tennent:2000:AMS,
  author =       "Robert D. Tennent and Dan R. Ghica",
  title =        "Abstract Models of Storage",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "119--129",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258028",
  acknowledgement = ack-nhfb,
}

@Article{Wadsworth:2000:CR,
  author =       "Christopher P. Wadsworth",
  title =        "Continuations Revisited",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "131--133",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258029",
  acknowledgement = ack-nhfb,
}

@Article{Strachey:2000:CMS,
  author =       "Christopher Strachey and Christopher P. Wadsworth",
  title =        "Continuations: {A} Mathematical Semantics for Handling
                 Full Jumps",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "1--2",
  pages =        "135--152",
  month =        apr,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n1-2",
  URL =          "http://www.wkap.nl/oasis.htm/258030",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:2000:Eb,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "159--160",
  month =        sep,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n3",
  URL =          "http://www.wkap.nl/oasis.htm/272138",
  acknowledgement = ack-nhfb,
}

@Article{Thibault:2000:SDP,
  author =       "Scott Thibault and Charles Consel and Julia L. Lawall
                 and Renaud Marlet and Gilles Muller",
  title =        "Static and Dynamic Program Compilation by Interpreter
                 Specialization",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "161--178",
  month =        sep,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n3",
  URL =          "http://www.wkap.nl/oasis.htm/272057",
  acknowledgement = ack-nhfb,
}

@Article{Hannan:2000:HOU,
  author =       "John Hannan and Patrick Hicks",
  title =        "Higher-Order {UnCurrying}",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "179--216",
  month =        sep,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n3",
  URL =          "http://www.wkap.nl/oasis.htm/272058",
  acknowledgement = ack-nhfb,
}

@Article{Mogensen:2000:LTS,
  author =       "Torben {\AE}. Mogensen",
  title =        "Linear-Time Self-Interpretation of the Pure Lambda
                 Calculus",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "217--237",
  month =        sep,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n3",
  URL =          "http://www.wkap.nl/oasis.htm/272059",
  acknowledgement = ack-nhfb,
}

@Article{Nishizaki:2000:PEC,
  author =       "Shin-Ya Nishizaki",
  title =        "A Polymorphic Environment Calculus and its
                 Type-Inference Algorithm",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "3",
  pages =        "239--278",
  month =        sep,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Oct 10 07:41:47 MDT 2000",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/v13-n3",
  URL =          "http://www.wkap.nl/oasis.htm/272061",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:2000:Ec,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "287--288",
  month =        dec,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Feb 10 08:19:30 MST 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
  URL =          "http://www.wkap.nl/oasis.htm/278950",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2000:EII,
  author =       "Yanhong A. Liu",
  title =        "Efficiency by Incrementalization: An Introduction",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "289--313",
  month =        dec,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Feb 10 08:19:30 MST 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
  URL =          "http://www.wkap.nl/oasis.htm/278951",
  acknowledgement = ack-nhfb,
}

@Article{Hatcliff:2000:SSM,
  author =       "John Hatcliff and Matthew B. Dwyer and Hongjun Zheng",
  title =        "Slicing Software for Model Construction",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "315--353",
  month =        dec,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Feb 10 08:19:30 MST 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
  URL =          "http://www.wkap.nl/oasis.htm/278952",
  acknowledgement = ack-nhfb,
}

@Article{Mogensen:2000:GPE,
  author =       "Torben {\AE}. Mogensen",
  title =        "Glossary for Partial Evaluation and Related Topics",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "13",
  number =       "4",
  pages =        "355--368",
  month =        dec,
  year =         "2000",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Sat Feb 10 08:19:30 MST 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
  URL =          "http://www.wkap.nl/oasis.htm/278953",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:2001:E,
  author =       "Olivier Danvy and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "14",
  number =       "1",
  pages =        "5--5",
  month =        mar,
  year =         "2001",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Apr 17 09:06:36 MDT 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
  URL =          "http://www.wkap.nl/oasis.htm/323056",
  acknowledgement = ack-nhfb,
}

@Article{Douence:2001:GRT,
  author =       "R{\'e}mi Douence and Mario S{\"u}dholt",
  title =        "A Generic Reification Technique for Object-Oriented
                 Reflective Languages",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "14",
  number =       "1",
  pages =        "7--34",
  month =        mar,
  year =         "2001",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Apr 17 09:06:36 MDT 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
  URL =          "http://www.wkap.nl/oasis.htm/323057",
  acknowledgement = ack-nhfb,
}

@Article{Karczmarczuk:2001:FDC,
  author =       "Jerzy Karczmarczuk",
  title =        "Functional Differentiation of Computer Programs",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "14",
  number =       "1",
  pages =        "35--57",
  month =        mar,
  year =         "2001",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Apr 17 09:06:36 MDT 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
  URL =          "http://www.wkap.nl/oasis.htm/323058",
  acknowledgement = ack-nhfb,
}

@Article{Sabelfeld:2001:PMS,
  author =       "Andrei Sabelfeld and David Sands",
  title =        "A Per Model of Secure Information Flow in Sequential
                 Programs",
  journal =      j-HIGHER-ORDER-SYMB-COMPUT,
  volume =       "14",
  number =       "1",
  pages =        "59--91",
  month =        mar,
  year =         "2001",
  CODEN =        "LSCOEX",
  ISSN =         "1388-3690",
  bibdate =      "Tue Apr 17 09:06:36 MDT 2001",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
  URL =          "http://www.wkap.nl/oasis.htm/323060",
  acknowledgement = ack-nhfb,
}
