%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.04",
%%%     date            = "06 August 2008",
%%%     time            = "17:01:08 MDT",
%%%     filename        = "opersysrev.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "39977 38159 157331 1412644",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; Operating Systems
%%%                        Review",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of ACM SIGOPS
%%%                        Operating Systems Review.  The journal
%%%                        appears three or four times a year, and
%%%                        since 1993, five times annually.
%%%
%%%                        The journal Web site is at
%%%
%%%                            http://www.acm.org/sigops/
%%%                            http://www.sigops.org/
%%%
%%%                        and the ACM Portal database Web site for the
%%%                        journal is at
%%%
%%%                            http://portal.acm.org/browse_dl.cfm?idx=J597
%%%
%%%                        At version 1.04, the year coverage looked
%%%                        like this:
%%%
%%%                             1972 (  24)    1985 (  39)    1998 (  54)
%%%                             1973 (  28)    1986 (  20)    1999 (  45)
%%%                             1974 (  11)    1987 (  62)    2000 ( 113)
%%%                             1975 (  50)    1988 (  24)    2001 (  50)
%%%                             1976 (   7)    1989 (  45)    2002 (  80)
%%%                             1977 (  46)    1990 (  26)    2003 (  28)
%%%                             1978 (  24)    1991 (  90)    2004 (  64)
%%%                             1979 (  10)    1992 (  50)    2005 (  55)
%%%                             1980 (  22)    1993 (  61)    2006 ( 117)
%%%                             1981 (  39)    1994 (  66)    2007 ( 106)
%%%                             1982 (  17)    1995 (  76)    2008 ( 113)
%%%                             1983 (  38)    1996 (  74)
%%%                             1984 (  11)    1997 (  59)
%%%
%%%                             Article:       1830
%%%                             Book:            10
%%%                             Proceedings:      4
%%%
%%%                             Total entries: 1844
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order within each journal, using
%%%                        `bibsort -byvolume'.  Cross-referenced
%%%                        proceedings entries appear at the end,
%%%                        because of a restriction in the current
%%%                        BibTeX.
%%%
%%%                        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.",
%%%  }
%%% ====================================================================

@Preamble{
    "\hyphenation{
        Par-tha-sa-ra-thy
    }"
}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-OPER-SYS-REV = "Operating Systems Review"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-DP                  = "Digital Press"}
@String{pub-DP:adr              = "12 Crosby Drive, Bedford, MA 01730, USA"}

@String{pub-MACMILLAN           = "Macmillan Publishing Company"}
@String{pub-MACMILLAN:adr       = "New York, NY, USA"}

@String{pub-NORTH-HOLLAND       = "North-Hol{\-}land"}
@String{pub-NORTH-HOLLAND:adr   = "Amsterdam, The Netherlands"}

@String{pub-PH                  = "Pren{\-}tice-Hall"}
@String{pub-PH:adr              = "Upper Saddle River, NJ 07458, USA"}

@String{pub-WILEY               = "Wiley"}
@String{pub-WILEY:adr           = "New York, NY, USA"}

%%% ====================================================================
%%% Article entries, sorted in publication order:

%%% [26-Aug-2006] ACM Portal still lacks data before volume 6

@Article{Bobrow:1972:TPT,
  author =       "Daniel G. Bobrow and Jerry D. Burchfiel and Daniel L.
                 Murphy and Raymond S. Tomlinson",
  title =        "{TENEX}: a paged time sharing system for the
                 {PDP-10}",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "1--10",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Liskov:1972:DVO,
  author =       "Barbara H. Liskov",
  title =        "The design of the {Venus Operating System}",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "11--16",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gaines:1972:OSB,
  author =       "R. Stockton Gaines",
  title =        "An operating system based on the concept of a
                 supervisory computer",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "17--23",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Howry:1972:MSP,
  author =       "Sam Howry",
  title =        "A multiprogramming system for process control",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "24--30",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Alsberg:1972:EDF,
  author =       "Peter A. Alsberg",
  title =        "Extensible data features in the operating system
                 language {OSL/2}",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "31--34",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Feiertag:1972:MIO,
  author =       "R. J. Feiertag and E. I. Organick",
  title =        "The {Multics} input\slash output system",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "35--38",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Schroeder:1972:HAI,
  author =       "Michael D. Schroeder and Jerome H. Saltzer",
  title =        "A hardware architecture for implementing protection
                 rings",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "42--54",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Needham:1972:HDF,
  author =       "R. M. Needham",
  title =        "Handling difficult faults in operating systems",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "55--57",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gertz:1972:SRH,
  author =       "Jeffrey L. Gertz",
  title =        "Storage reallocation in hierarchical associative
                 memories",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "58--63",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Holt:1972:SDP,
  author =       "Richard C. Holt",
  title =        "Some deadlock properties of computer systems",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "64--71",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fontao:1972:CAA,
  author =       "Rafael O. Fontao",
  title =        "A concurrent algorithm for avoiding deadlocks in
                 multiprocess multiple resource systems",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "72--79",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Habermann:1972:SCP,
  author =       "A. Nico Habermann",
  title =        "Synchronization of communicating processes",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "80--85",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Kahn:1972:ASC,
  author =       "Gilles Kahn",
  title =        "An approach to systems correctness",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "86--94",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Easton:1972:PSL,
  author =       "William B. Easton",
  title =        "Process synchronization without long-term interlock",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "95--100",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Hansen:1972:STS,
  author =       "Per Brinch Hansen",
  title =        "Short-term scheduling in multiprogramming systems",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "101--105",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Varney:1972:PSH,
  author =       "R. C. Varney",
  title =        "Process selection in a hierarchical operating system",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "106--108",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Baskett:1972:DCS,
  author =       "Forest Baskett",
  title =        "The dependence of computer system queues upon
                 processing time distribution and central processor
                 scheduling",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "109--113",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Teorey:1972:CAD,
  author =       "Toby J. Teorey and Tad B. Pinkerton",
  title =        "A comparative analysis of disk scheduling policies",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "114--121",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Coffman:1972:SSP,
  author =       "E. G. Coffman and Thomas A. Ryan",
  title =        "A study of storage partitioning using a mathematical
                 model of locality",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "122--129",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1972:PWS,
  author =       "Peter J. Denning and Stuart C. Schwartz",
  title =        "Properties of the working-set model",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "130--140",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Greenberg:1972:ADS,
  author =       "Mark L. Greenberg",
  title =        "An algorithm for drum storage management in
                 time-sharing systems",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "141--148",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Winograd:1972:SSV,
  author =       "J. Winograd and S. J. Morganstein and R. Herman",
  title =        "Simulation studies of a virtual memory, time-shared,
                 demand paging operating system",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "149--155",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Rodriguez-Rosell:1972:EDH,
  author =       "Juan Rodriguez-Rosell",
  title =        "Experimental data on how program behavior affects the
                 choice of scheduler parameters",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "1/2",
  pages =        "156--163",
  month =        jun,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fogel:1972:EID,
  author =       "Marc Fogel and Joseph Winograd",
  title =        "{EINSTEIN}: an internal driver in a time-sharing
                 environment",
  journal =      j-OPER-SYS-REV,
  volume =       "6",
  number =       "3",
  pages =        "6--14",
  month =        oct,
  year =         "1972",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:48 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Poole:1973:WTT,
  author =       "Peter C. Poole",
  title =        "When is a test not a test?",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "2",
  pages =        "4--5",
  month =        apr,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Collier:1973:AIS,
  author =       "William W. Collier",
  title =        "Asynchronous interactions on shared data",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "2",
  pages =        "6--15",
  month =        apr,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chambers:1973:UCS,
  author =       "John M. Chambers",
  title =        "A user-controlled synchronization method",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "2",
  pages =        "16--25",
  month =        apr,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Abernathy:1973:SDGa,
  author =       "David H. Abernathy and John S. Mancino and Charls R.
                 Pearson and Dona C. Swiger",
  title =        "Survey of design goals for operating systems",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "2",
  pages =        "29--48",
  month =        apr,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Schroeder:1973:BRS,
  author =       "M. D. Schroeder",
  title =        "A brief report on the {SIGPLAN\slash SIGOPS} interface
                 meeting",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "3",
  pages =        "4--9",
  month =        jul,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:43 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wood:1973:ESC,
  author =       "David C. M. Wood",
  title =        "An example in synchronization of cooperating
                 processes: theory and practice",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "3",
  pages =        "10--18",
  month =        jul,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:43 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Abernathy:1973:SDGb,
  author =       "David H. Abernathy and John S. Mancino and Charls R.
                 Pearson and Dona C. Swiger",
  title =        "Survey of design goals for operating systems",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "3",
  pages =        "19--34",
  month =        jul,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:43 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Sorenson:1973:ICR,
  author =       "P. G. Sorenson",
  title =        "Interprocess communication in real-time systems",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "1--7",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Spier:1973:EIK,
  author =       "Michale J. Spier and Thomas N. Hastings and David N.
                 Cutler",
  title =        "An experimental implementation of the kernel\slash
                 domain architecture",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "8--21",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Stephenson:1973:SCC,
  author =       "C. J. Stephenson",
  title =        "On the structure and control of commands",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "22--26",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ritchie:1973:UTS,
  author =       "Dennis M. Ritchie and Ken Thompson",
  title =        "The {UNIX} time-sharing system",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "27--27",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Day:1973:AOS,
  author =       "Paul Day and John Hines",
  title =        "{ARGOS}: {An} operating system for a computer utility
                 supporting interactive instrument control",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "28--37",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Walther:1973:MSD,
  author =       "W. Walther",
  title =        "Multiprocessor self diagnosis, surgery, and recovery
                 in air terminal traffic control",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "38--44",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Svobodova:1973:OSP,
  author =       "Liba Svobodova",
  title =        "Online system performance measurements with software
                 and hybrid monitors",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "45--53",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fuller:1973:SMT,
  author =       "Samuel H. Fuller",
  title =        "Summary of minimal-total-processing-time drum and disk
                 scheduling disciplines",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "54--57",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Scheffier:1973:OFP,
  author =       "Lee J. Scheffier",
  title =        "Optimal folding of a paging drum in a three level
                 memory system",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "58--65",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chamberlin:1973:PAS,
  author =       "Donald D. Chamberlin and Samuel H. Fulier and Leonard
                 Y. Liu",
  title =        "A page allocation strategy for multiprogramming
                 systems",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "66--72",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1973:DSP,
  author =       "Peter J. Denning and Jeffrey R. Spirn",
  title =        "Dynamic storage partitioning",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "73--79",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Arvind:1973:RSG,
  author =       "Arvind and R. Y. Kain and E. Sadeh",
  title =        "On reference string generation processes",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "80--87",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ellis:1973:PDC,
  author =       "Clarence A. Ellis",
  title =        "On the probability of deadlock in computer systems",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "88--95",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ullman:1973:PCS,
  author =       "J. D. Ullman",
  title =        "Polynomial complete scheduling problems",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "96--101",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Eruno:1973:SIT,
  author =       "J. Eruno and E. G. {Coffman, Jr.} and R. Sethi",
  title =        "Scheduling independent tasks to reduce mean
                 finishing-time (extended abstract)",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "102--103",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Garey:1973:BSL,
  author =       "M. R. Garey and R. L. Grehem",
  title =        "Bounds on scheduling with limited resources",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "104--111",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Krause:1973:TSA,
  author =       "K. L. Krause and V. Y. Shen and H. D. Schwetman",
  title =        "A task-scheduling algorithm for a multiprogramming
                 computer system",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "112--118",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Saltzer:1973:PCI,
  author =       "Jerome H. Saltzer",
  title =        "Protection and control of information sharing in
                 {Multics}",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "119--119",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fabry:1973:CCB,
  author =       "R. S. Fabry",
  title =        "The case for capability based computers (extended
                 abstract)",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "120--120",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Popek:1973:FRV,
  author =       "Gerald J. Popek and Robert P. Goldberg",
  title =        "Formal requirements for virtualizable third generation
                 architectures",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "121--121",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Kosaraju:1973:LDS,
  author =       "S. Rao Kosaraju",
  title =        "Limitations of {Dijkstra}'s {Semaphore Primitives} and
                 {Petri} nets",
  journal =      j-OPER-SYS-REV,
  volume =       "7",
  number =       "4",
  pages =        "122--126",
  month =        oct,
  year =         "1973",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1974:ITD,
  author =       "Peter J. Denning",
  title =        "Is it not time to define ``structured programming''?",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "1",
  pages =        "6--7",
  month =        jan,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fogel:1974:VPA,
  author =       "Marc H. Fogel",
  title =        "The {VMOS} paging algorithm: a practical
                 implementation of the working set model",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "1",
  pages =        "8--17",
  month =        jan,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lampson:1974:P,
  author =       "Butler W. Lampson",
  title =        "Protection",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "1",
  pages =        "18--24",
  month =        jan,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Abernathy:1974:SDG,
  author =       "David H. Abernathy and John S. Mancino and Charls R.
                 Pearson and Dona C. Swiger",
  title =        "Survey of design goals for operating systems",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "1",
  pages =        "25--35",
  month =        jan,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Zelkowitz:1974:ITD,
  author =       "Marvin V. Zelkowitz",
  title =        "It is not time to define ``structured programming''",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "2",
  pages =        "7--8",
  month =        apr,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Spier:1974:CLS,
  author =       "Michael J. Spier",
  title =        "A critical look at the state of our science",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "2",
  pages =        "9--15",
  month =        apr,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Foulk:1974:YAA,
  author =       "Clinton R. Foulk",
  title =        "Yet another attempt to define ``structured
                 programming''",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "3",
  pages =        "4--5",
  month =        jul,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Nutt:1974:ICS,
  author =       "Gary J. Nutt",
  title =        "An implementation of a computer simulation system",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "3",
  pages =        "6--7",
  month =        jul,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Saltzer:1974:ORD,
  author =       "Jerome H. Saltzer",
  title =        "Ongoing research and development on information
                 protection",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "3",
  pages =        "8--24",
  month =        jul,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1974:SPL,
  author =       "Peter J. Denning",
  title =        "Is ``structured programming'' any longer the right
                 term?",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "4",
  pages =        "4--6",
  month =        oct,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Knott:1974:PCP,
  author =       "Gary D. Knott",
  title =        "A proposal for certain process management and
                 intercommunication primitives",
  journal =      j-OPER-SYS-REV,
  volume =       "8",
  number =       "4",
  pages =        "7--44",
  month =        oct,
  year =         "1974",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Spier:1975:TME,
  author =       "Michael J. Spier and Richard L. Hill and Timothy J.
                 Stein and Daniel Bricklin",
  title =        "The {TYPESET-10} {Message Exchange Facility}: a case
                 study in systemic design",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "1",
  pages =        "10--18",
  month =        jan,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Knott:1975:PCP,
  author =       "Gary D. Knott",
  title =        "A proposal for certain process management and
                 intercommunication primitives",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "1",
  pages =        "19--41",
  month =        jan,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Beckmann:1975:BR,
  author =       "Petr Beckmann",
  title =        "Book review",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "2",
  pages =        "8--9",
  month =        apr,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{NBS:1975:PPS,
  author =       "{National Bureau of Standards} and {National Science
                 Foundation}",
  title =        "A preliminary prospectus for a software engineering
                 handbook",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "2",
  pages =        "10--13",
  month =        apr,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1975:ASI,
  author =       "Anonymous",
  title =        "Aims and scope for {IEEE Transactions on Software
                 Engineering}",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "2",
  pages =        "14--15",
  month =        apr,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Enslow:1975:OAE,
  author =       "Philip H. Enslow",
  title =        "{OSCL} (1) activity in {Europe}",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "2",
  pages =        "16--17",
  month =        apr,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lampson:1975:SIS,
  author =       "Butler Lampson",
  title =        "Synchronization: {Introduction} by the session
                 chairman",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "1--2",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Belpaire:1975:SSP,
  author =       "Gerald Belpaire",
  title =        "Synchronization: {Is} a synthesis of the problems
                 possible?",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "3--10",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Tomlinson:1975:SSN,
  author =       "Raymond S. Tomlinson",
  title =        "Selecting sequence numbers",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "11--23",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Dalal:1975:MSS,
  author =       "Yogen K. Dalal",
  title =        "More on selecting sequence numbers",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "25--36",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chen:1975:RPS,
  author =       "Robert C. Chen",
  title =        "Representation of process synchronization",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "37--42",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cerf:1975:FIC,
  author =       "Vinton Cerf",
  title =        "Formalisms for interprocess communication",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "43--44",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bochmann:1975:CPE,
  author =       "Gregor V. Bochmann",
  title =        "Communication protocols and error recovery
                 procedures",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "45--50",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Merlin:1975:RMS,
  author =       "Philip M. Merlin and David J. Farber",
  title =        "Recoverability of modular systems",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "51--56",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gaines:1975:P,
  author =       "R. Stockton Gaines",
  title =        "Protection",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "57--58",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Popek:1975:DSC,
  author =       "Gerald J. Popek",
  title =        "On data secure computer networks",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "59--62",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chen:1975:ICS,
  author =       "T. C. Chen",
  title =        "Interprocess communication systems",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "63--63",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Manning:1975:STP,
  author =       "Eric Manning and R. W. Peebles",
  title =        "Segment transfer protocols for a homogeneous computer
                 network",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "65--73",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chu:1975:P,
  author =       "Wesley Chu",
  title =        "Performance",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "75--75",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{McQuillan:1975:SCH,
  author =       "John M. McQuillan and David C. Walden",
  title =        "Some considerations for a high performance
                 message-based interprocess communication system",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "77--86",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Danthine:1975:CPN,
  author =       "Andr{\'e} A. S. Danthine and Joseph Bremer",
  title =        "Communication protocols in a network context",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "87--92",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Opderbeck:1975:ECP,
  author =       "Holger Opderbeck",
  title =        "On the efficiency of control procedures for computer
                 communication networks",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "3",
  pages =        "93--96",
  month =        jul,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Brown:1975:GMC,
  author =       "R. R. Brown and J. L. Elshoff and M. R. Ward",
  title =        "The {GM} multiple console time sharing system",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "4",
  pages =        "7--17",
  month =        oct,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Brown:1975:MCT,
  author =       "R. R. Brown",
  title =        "{MCTS} customer task environment",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "4",
  pages =        "18--42",
  month =        oct,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Kain:1975:HEP,
  author =       "Richard Y. Kain",
  title =        "How to evaluate page replacement algorithms",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "1--5",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Sadeh:1975:APP,
  author =       "E. Sadeh",
  title =        "An analysis of the performance of the page fault
                 frequency {(PFF)} replacement algorithm",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "6--13",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Harrison:1975:POS,
  author =       "Michael A. Harrison and Walter L. Ruzzo and Jeffrey D.
                 Ullman",
  title =        "On protection in operating systems",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "14--24",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Schroeder:1975:ESK,
  author =       "Michael D. Schroeder",
  title =        "Engineering a security kernel for {Multics}",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "25--32",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bayer:1975:MME,
  author =       "D. L. Bayer and H. Lycklama",
  title =        "{MERT} --- a multi-environment real-time operating
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "33--42",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Janson:1975:DLE,
  author =       "Philippe A. Janson",
  title =        "Dynamic linking and environment initialization in a
                 multi-domain process",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "43--50",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Pruitt:1975:ART,
  author =       "J. L. Pruitt and W. W. Case",
  title =        "Architecture of a real time operating system",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "51--59",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chesson:1975:NUS,
  author =       "Gregory L. Chesson",
  title =        "The network {Unix} system",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "60--66",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Akkoyunlu:1975:SCT,
  author =       "E. A. Akkoyunlu and K. Ekanadham and R. V. Huber",
  title =        "Some constraints and tradeoffs in the design of
                 network communications",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "67--74",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cosell:1975:OSC,
  author =       "B. P. Cosell and P. R. Johnson and J. H. Malman and R.
                 E. Schantz and J. Sussman and R. H. Thomas and D. C.
                 Walden",
  title =        "An operational system for computer resource sharing",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "75--81",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bagley:1975:SDS,
  author =       "J. D. Bagley and E. R. Floto and S. C. Hsieh and V.
                 Watson",
  title =        "Sharing data and services in a virtual machine
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "82--88",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Belpaire:1975:FPR,
  author =       "Gerald Belpaire and Nai-Ting Hsu",
  title =        "Formal properties of recursive {Virtual Machine}
                 architectures",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "89--96",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Popek:1975:PVM,
  author =       "Gerald J. Popek and Charles S. Kline",
  title =        "The {PDP-11} virtual machine architecture: {A} case
                 study",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "97--105",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Russell:1975:ERP,
  author =       "David L. Russell and Thomas H. Bredt",
  title =        "Error resynchronization in producer-consumer systems",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "106--113",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Arden:1975:MMC,
  author =       "Bruce W. Arden and Alan D. Berenbaum",
  title =        "A multi-microprocessor computer system architecture",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "114--121",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wulf:1975:OHO,
  author =       "W. Wulf and R. Levin and C. Pierson",
  title =        "Overview of the {Hydra Operating System} development",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "122--131",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Levin:1975:PMS,
  author =       "R. Levin and E. Cohen and W. Corwin and F. Pollack and
                 W. Wulf",
  title =        "Policy\slash mechanism separation in {Hydra}",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "132--140",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cohen:1975:PHO,
  author =       "Ellis Cohen and David Jefferson",
  title =        "Protection in the {Hydra Operating System}",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "141--160",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Brundage:1975:CPD,
  author =       "Robert E. Brundage and Alan P. Batson",
  title =        "Computational processor demands of {Algol-60}
                 programs",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "161--168",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Chandy:1975:SPO,
  author =       "K. M. Chandy and P. F. Reynolds",
  title =        "Scheduling partially ordered tasks with probabilistic
                 execution times",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "169--177",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lam:1975:ALA,
  author =       "Shui Lam and Ravi Sethi",
  title =        "Analysis of a level algorithm for preemptive
                 scheduling",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "178--186",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Coffman:1975:SSR,
  author =       "E. G. {Coffman, Jr.} and I. Mitrani",
  title =        "Selecting a scheduling rule that meets pre-specified
                 response time demands",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "187--191",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lipner:1975:CCP,
  author =       "Steven B. Lipner",
  title =        "A comment on the confinement problem",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "192--196",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Jones:1975:ESP,
  author =       "Anita K. Jones and Richard J. Lipton",
  title =        "The enforcement of security policies for computation",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "197--206",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1975:SPL,
  author =       "Peter J. Denning and Kevin C. Kahn",
  title =        "A study of program locality and lifetime functions",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "207--216",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Agrawala:1975:MMS,
  author =       "A. K. Agrawala and R. M. Bryant",
  title =        "Models of memory scheduling",
  journal =      j-OPER-SYS-REV,
  volume =       "9",
  number =       "5",
  pages =        "217--222",
  month =        nov,
  year =         "1975",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Peterson:1976:RCF,
  author =       "James L. Peterson",
  title =        "Referee coordination for the fifth {Symposium} on
                 {Operating Systems Principles}",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "1",
  pages =        "7--16",
  month =        jan,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Brown:1976:GMC,
  author =       "R. R. Brown and J. L. Elshoff and M. R. Ward",
  title =        "The {GM} multiple console time sharing system",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "1",
  pages =        "17--17",
  month =        jan,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Elshoff:1976:MOS,
  author =       "James L. Elshoff and Mitchel R. Ward",
  title =        "The {MCTS} operating system",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "1",
  pages =        "18--38",
  month =        jan,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Brown:1976:MNP,
  author =       "Ralph R. Brown",
  title =        "{MCTS} nucleus: philosophy and praxis",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "1",
  pages =        "39--60",
  month =        jan,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ward:1976:SAO,
  author =       "Mitchel R. Ward",
  title =        "A simple approach to operating system generation and
                 initialization",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "1",
  pages =        "61--71",
  month =        jan,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

%%% ACM Portal issue-2-apr-1976.html contains no article data

@Article{Yuval:1976:ONS,
  author =       "G. Yuval",
  title =        "An operating non-system",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "3",
  pages =        "9--10",
  month =        jul,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Sibley:1976:EJO,
  author =       "E. H. Sibley",
  title =        "Economic justification of an {OSCL\slash OSRL}",
  journal =      j-OPER-SYS-REV,
  volume =       "10",
  number =       "4",
  pages =        "7--15",
  month =        oct,
  year =         "1976",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Mills:1977:CFM,
  author =       "Philip M. Mills",
  title =        "Control functions for a multiprocessor architecture",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "1",
  pages =        "26--40",
  month =        jan,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ambler:1977:GLS,
  author =       "Allen L. Ambler and Donald I. Good and James C. Browne
                 and Wilhelm F. Burger and Richard M. Cohen and Charles
                 G. Hoch and Robert E. Wells",
  title =        "{Gypsy}: {A} language for specification and
                 implementation of verifiable programs",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "1--10",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Popek:1977:NDE,
  author =       "G. J. Popek and J. J. Horning and B. W. Lampson and J.
                 G. Mitchell and R. L. London",
  title =        "Notes on the design of {Euclid}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "11--18",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fischer:1977:EIO,
  author =       "Charles N. Fischer and Richard J. LeBlanc",
  title =        "Efficient implementation and optimization of run-time
                 checking in {PASCAL}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "19--24",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ambler:1977:SPP,
  author =       "Allen L. Ambler and Charles G. Hoch",
  title =        "A study of protection in programming languages",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "25--40",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Friedman:1977:AAP,
  author =       "Daniel P. Friedman and David S. Wise",
  title =        "Aspects of applicative programming for file systems
                 (preliminary version)",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "41--55",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Herriot:1977:TIP,
  author =       "Robert G. Herriot",
  title =        "Towards the ideal programming language",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "56--62",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Guttag:1977:SEA,
  author =       "Jhon V. Guttag and Ellis Horowitz and David R.
                 Musser",
  title =        "Some extensions to algebraic specifications",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "63--67",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Buckle:1977:RDT,
  author =       "Normand Buckle",
  title =        "Restricted data types, specification and enforcement
                 of invariant properties of variables",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "68--76",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Causot:1977:SDD,
  author =       "Patrick Causot and Radhia Cousot",
  title =        "Static determination of dynamic properties of
                 generalized type unions",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "77--94",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Melliar-Smith:1977:SRR,
  author =       "P. M. Melliar-Smith and B. Randell",
  title =        "Software reliability: {The} role of programmed
                 exception handling",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "95--100",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{MacLaren:1977:EHP,
  author =       "M. Donald MacLaren",
  title =        "Exception handling in {PL/I}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "101--104",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Love:1977:EIE,
  author =       "Tom Love",
  title =        "An experimental investigation of the effect of program
                 structure on program understanding",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "105--113",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Andrews:1977:LFP,
  author =       "Gregory R. Andrews and James R. McGraw",
  title =        "Language features for process interaction",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "114--127",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lomet:1977:PSS,
  author =       "D. B. Lomet",
  title =        "Process structuring, synchronization, and recovery
                 using atomic actions",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "128--137",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Geschke:1977:EEM,
  author =       "Charles M. Geschke and James H. {Morris, Jr.} and
                 Edwin H. Satterthwaite",
  title =        "Early experience with {Mesa}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "138--138",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Shaw:1977:AVA,
  author =       "Mary Shaw and Wm A. Wulf and Ralph L. London",
  title =        "Abstraction and verification in {Alphard}: {Defining}
                 and specifying iteration and generators",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "139--139",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Liskov:1977:AMC,
  author =       "Barbara Liskov and Alan Snyder and Russell Atkinson
                 and Craig Schaffert",
  title =        "Abstraction mechanisms in {CLU}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "140--140",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gannon:1977:EED,
  author =       "J. D. Gannon",
  title =        "An experimental evaluation of data types on
                 programming reliability",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "141--141",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wirth:1977:TDR,
  author =       "N. Wirth",
  title =        "Towards a discipline of real-time programming",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "2",
  pages =        "142--142",
  month =        apr,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:38 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lister:1977:PNM,
  author =       "Andrew Lister",
  title =        "The problem of nested monitor calls",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "3",
  pages =        "5--7",
  month =        jul,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Payne:1977:FTE,
  author =       "A. J. Payne",
  title =        "A formalised technique for expressing system
                 exercisers",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "3",
  pages =        "8--12",
  month =        jul,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gerber:1977:PSC,
  author =       "A. J. Gerber",
  title =        "Process synchronization by counter variables",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "4",
  pages =        "6--17",
  month =        oct,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Haddon:1977:NMC,
  author =       "Bruce K. Haddon",
  title =        "Nested monitor calls",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "4",
  pages =        "18--23",
  month =        oct,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Needham:1977:CCC,
  author =       "R. M. Needham and R. D. H. Walker",
  title =        "The {Cambridge CAP} computer and its protection
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "1--10",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Needham:1977:CFS,
  author =       "R. M. Needham and A. D. Birrell",
  title =        "The {CAP} filing system",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "11--16",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Needham:1977:CPI,
  author =       "R. M. Needham",
  title =        "The {CAP} project --- an interim evaluation",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "17--22",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Baskett:1977:TCD,
  author =       "Forest Baskett and John H. Howard and John T.
                 Montague",
  title =        "Task communication in {DEMOS}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "23--31",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Powell:1977:DFS,
  author =       "Michael L. Powell",
  title =        "The {DEMOS} file system",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "33--42",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Schroeder:1977:MKD,
  author =       "Michael D. Schroeder and David D. Clark and Jerome H.
                 Saltzer",
  title =        "The {Multics} kernel design project",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "43--56",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Feiertag:1977:PMS,
  author =       "R. J. Feiertag and K. N. Levitt and L. Robinson",
  title =        "Proving multilevel security of a system design",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "57--65",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ellis:1977:CCD,
  author =       "Clarence A. Ellis",
  title =        "Consistency and correctness of duplicate database
                 systems",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "67--84",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Montgomery:1977:MSM,
  author =       "Warren A. Montgomery",
  title =        "Measurements of sharing in {Multics}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "85--90",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Reed:1977:SES,
  author =       "David P. Reed and Rajendra K. Kanodia",
  title =        "Synchronization with eventcounts and sequencers
                 (extended abstract)",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "91--91",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Mcdaniel:1977:MEA,
  author =       "Gene Mcdaniel",
  title =        "{Metric} (extended abstract): {A} kernel
                 instrumentation system for distributed environments",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "93--99",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Casey:1977:DSD,
  author =       "L. Casey and N. Shelness",
  title =        "A domain structure for distributed computer systems",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "101--108",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Babonneau:1977:AGS,
  author =       "J. Y. Babonneau and M. S. Achard and G. Morisset and
                 M. B. Mounajjed",
  title =        "Automatic and general solution to the adaptation of
                 programs in a paging environment",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "109--116",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Masuda:1977:EPL,
  author =       "Takashi Masuda",
  title =        "Effect of program localities on memory management
                 strategies",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "117--124",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Potier:1977:ADP,
  author =       "Dominique Potier",
  title =        "Analysis of demand paging policies with swapped
                 working sets",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "125--131",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Choen:1977:ITC,
  author =       "Ellis Choen",
  title =        "Information transmission in computational systems",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "133--139",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Snyder:1977:SAP,
  author =       "Lawrence Snyder",
  title =        "On the synthesis and analysis of protection systems",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "141--150",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Russell:1977:PBP,
  author =       "David L. Russell",
  title =        "Process backup in producer-consumer systems",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "151--157",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Arvind:1977:IMD,
  author =       "Arvind and Kim P. Gostelow and Wil Plouffe",
  title =        "Indeterminacy, monitors, and dataflow",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "159--169",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cheriton:1977:TPR,
  author =       "David R. Cheriton and Michael A. Malcolm and Lawrence
                 S. Melen and Gary R. Sager",
  title =        "{Thoth}, a portable real-time operating system
                 (extended abstract)",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "171--171",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lohr:1977:BCP,
  author =       "Klaus-Peter L{\"o}hr",
  title =        "Beyond concurrent {Pascal}",
  journal =      j-OPER-SYS-REV,
  volume =       "11",
  number =       "5",
  pages =        "173--180",
  month =        nov,
  year =         "1977",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:57 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Parnas:1978:NPN,
  author =       "David L. Parnas",
  title =        "The non-problem of nested monitor calls",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "12--18",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wettstein:1978:PNM,
  author =       "Horst Wettstein",
  title =        "The problem of nested monitor calls revisited",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "19--23",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Herbert:1978:NPA,
  author =       "A. J. Herbert",
  title =        "A new protection architecture for the {Cambridge}
                 capability computer",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "24--28",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gilbert:1978:MSL,
  author =       "D. C. Gilbert",
  title =        "Modeling spin locks with queuing networks",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "29--42",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Saltzer:1978:RPD,
  author =       "Jerome H. Saltzer",
  title =        "Research problems of decentralized systems with
                 largely autonomous nodes",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "43--52",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Mohan:1978:SRO,
  author =       "C. Mohan",
  title =        "Survey of recent operating systems research, designs
                 and implementations",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "53--89",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Stroustrup:1978:UMI,
  author =       "Bjarne Stroustrup",
  title =        "On unifying module interfaces",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "1",
  pages =        "90--98",
  month =        jan,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:33 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1978:E,
  author =       "Anonymous",
  title =        "Errata",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "2",
  pages =        "11--11",
  month =        apr,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Saltzer:1978:DS,
  author =       "Jerome H. Saltzer",
  title =        "On digital signatures",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "2",
  pages =        "12--14",
  month =        apr,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Schneider:1978:SCP,
  author =       "F. B. Schneider and A. J. Bernstein",
  title =        "Scheduling in {Concurrent Pascal}",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "2",
  pages =        "15--20",
  month =        apr,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Joseph:1978:MNM,
  author =       "M. Joseph and V. R. Prasad",
  title =        "More on nested monitor calls",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "2",
  pages =        "21--25",
  month =        apr,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cook:1978:CUC,
  author =       "Douglas Cook",
  title =        "The cost of using the {CAP} computer's protection
                 facilities",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "2",
  pages =        "26--30",
  month =        apr,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Birrell:1978:AGC,
  author =       "A. D. Birrell and R. M. Needham",
  title =        "An asynchronous garbage collector for the {CAP} filing
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "2",
  pages =        "31--33",
  month =        apr,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1978:NYS,
  author =       "Dorothy E. Denning",
  title =        "A note from your secretary-treasurer",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "2--4",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gaines:1978:SSP,
  author =       "R. Stockton Gaines and Norman Z. Shapiro",
  title =        "Some security principles and their application to
                 computer security",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "19--28",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Birrell:1978:CS,
  author =       "A. D. Birrell and R. M. Needham",
  title =        "Character streams",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "29--31",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Miller:1978:UPO,
  author =       "Richard Miller",
  title =        "{UNIX}: a portable operating system?",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "32--37",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Rose:1978:PEU,
  author =       "Greg Rose",
  title =        "Performance evaluation under {Unix} and a study of
                 {PDP-11} instruction usage",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "38--45",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lions:1978:OSC,
  author =       "J. Lions",
  title =        "An operating system case study",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "46--53",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gait:1978:EEP,
  author =       "Jason Gait",
  title =        "Easy entry: the password encryption problem",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "54--60",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gorski:1978:MRA,
  author =       "Janusz G{\'o}rski",
  title =        "A modular representation of the access control
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "3",
  pages =        "61--77",
  month =        jul,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Heimbigner:1978:WDD,
  author =       "Dennis Heimbigner",
  title =        "Writing device drivers in {Concurrent Pascal}",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "4",
  pages =        "16--33",
  month =        oct,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Ekanadham:1978:SNT,
  author =       "K. Ekanadham and A. J. Bernstein",
  title =        "Some new transitions in hierarchical level
                 structures",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "4",
  pages =        "34--38",
  month =        oct,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Smith:1978:BPR,
  author =       "Alan Jay Smith",
  title =        "Bibliography on paging and related topics",
  journal =      j-OPER-SYS-REV,
  volume =       "12",
  number =       "4",
  pages =        "39--56",
  month =        oct,
  year =         "1978",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:49 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Needham:1979:ACA,
  author =       "Roger M. Needham",
  title =        "Adding capability access to conventional file
                 servers",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "1",
  pages =        "3--4",
  month =        jan,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Keedy:1979:SOS,
  author =       "J. L. Keedy",
  title =        "On structuring operating systems with monitors",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "1",
  pages =        "5--9",
  month =        jan,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Hopper:1979:AMM,
  author =       "K. Hopper and H. J. Kugler and C. Unger",
  title =        "Abstract machines modelling network control systems",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "1",
  pages =        "10--24",
  month =        jan,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lauer:1979:DOS,
  author =       "Hugh C. Lauer and Roger M. Needham",
  title =        "On the duality of operating system structures",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "2",
  pages =        "3--19",
  month =        apr,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Blasgen:1979:CP,
  author =       "Mike Blasgen and Jim Gray and Mike Mitoma and Tom
                 Price",
  title =        "The convoy phenomenon",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "2",
  pages =        "20--25",
  month =        apr,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Tanenbaum:1979:MIP,
  author =       "Andrew S. Tanenbaum",
  title =        "A method for implementing paged, segmented virtual
                 memories on microprogrammable computers",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "2",
  pages =        "26--32",
  month =        apr,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Newton:1979:DPD,
  author =       "Glen Newton",
  title =        "Deadlock prevention, detection, and resolution: an
                 annotated bibliography",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "2",
  pages =        "33--44",
  month =        apr,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1979:NYS,
  author =       "Dorothy E. Denning",
  title =        "A note from your secretary-treasurer",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "3",
  pages =        "1--2",
  month =        jul,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Maegaard:1979:ROS,
  author =       "Henrik Maegaard and Aksel Andreasen",
  title =        "{REPOS}: {An} operating system for the {PDP-11}",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "3",
  pages =        "6--11",
  month =        jul,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Barnett:1979:GCV,
  author =       "Jeffrey A. Barnett",
  title =        "Garbage collection versus swapping",
  journal =      j-OPER-SYS-REV,
  volume =       "13",
  number =       "3",
  pages =        "12--17",
  month =        jul,
  year =         "1979",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

%%% ACM Portal sigops/issue-4-oct-1979.html contains no article data

@Article{Hebbard:1980:PAM,
  author =       "B. Hebbard and P. Grosso and T. Baldridge and C. Chan
                 and D. Fishman and P. Goshgarian and T. Hilton and J.
                 Hoshen and K. Hoult and G. Huntley and M. Stolarchuk
                 and L. Warner",
  title =        "A penetration analysis of the {Michigan Terminal
                 System}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "1",
  pages =        "7--20",
  month =        jan,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wilkes:1980:CMD,
  author =       "Maurice V. Wilkes and Roger M. Needham",
  title =        "The {Cambridge Model Distributed System}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "1",
  pages =        "21--29",
  month =        jan,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1980:MCS,
  author =       "Peter J. Denning and T. Don Dennis",
  title =        "On minimizing contention at semaphores",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "2",
  pages =        "9--16",
  month =        apr,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wilkes:1980:NHC,
  author =       "M. W. Wilkes",
  title =        "A new hardware capability architecture",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "2",
  pages =        "17--20",
  month =        apr,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Turton:1980:MOS,
  author =       "Trevor Turton",
  title =        "The management of operating system state data",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "2",
  pages =        "21--24",
  month =        apr,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Natarajan:1980:AAT,
  author =       "N. Natarajan",
  title =        "Atomic actions and timestamps",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "2",
  pages =        "25--27",
  month =        apr,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Klossner:1980:PBO,
  author =       "Andrew Klossner",
  title =        "A parallel between operating system and human
                 government",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "2",
  pages =        "28--31",
  month =        apr,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1980:NYS,
  author =       "Dorothy E. Denning",
  title =        "A note from your secretary-treasurer",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "2--4",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Amit:1980:SSQ,
  author =       "Neta Amit and Micha Hofri",
  title =        "A simple semaphore-queue management for
                 multiprocessing systems",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "13--15",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Francis:1980:SOS,
  author =       "N. D. Francis",
  title =        "Simulation of operating systems: a functional
                 flowchart",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "16--21",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Hoch:1980:ICP,
  author =       "Charles Hoch and J. C. Browne",
  title =        "An implementation of capabilities on the {PDP-11/45}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "22--32",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Jones:1980:CAR,
  author =       "Anita K. Jones",
  title =        "Capability architecture revisited",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "33--35",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Oestreicher:1980:SES,
  author =       "Dan Oestreicher and J. I. Strauss",
  title =        "A set of efficient semaphoring instructions",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "36--45",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Sincoskie:1980:SDO,
  author =       "W. David Sincoskie and David J. Farber",
  title =        "{SODS\slash OS}: a distributed operating system for
                 the {IBM Series/1}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "46--54",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Sturgis:1980:IDU,
  author =       "H. Sturgis and J. Mitchell and J. Israel",
  title =        "Issues in the design and use of a distributed file
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "55--69",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Zhongxiu:1980:IDX,
  author =       "Sun Zhongxiu and Xie Li and Fei Xianglin and Yi Wenguo
                 and Tan Yaoming",
  title =        "An introduction to {DJS200\slash XT1}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "3",
  pages =        "70--74",
  month =        jul,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:44 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Myers:1980:HIC,
  author =       "G. J. Myers and B. R. S. Buckingham",
  title =        "A hardware implementation of capability-based
                 addressing",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "4",
  pages =        "13--25",
  month =        oct,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Dion:1980:CFS,
  author =       "Jeremy Dion",
  title =        "The {Cambridge File Server}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "4",
  pages =        "26--35",
  month =        oct,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Garnett:1980:AGC,
  author =       "N. H. Garnett and R. M. Needham",
  title =        "An asynchronous garbage collector for the {Cambridge
                 File Server}",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "4",
  pages =        "36--40",
  month =        oct,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Dellar:1980:RBS,
  author =       "Carl Dellar",
  title =        "Removing backing store administration from the {CAP}
                 operating system",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "4",
  pages =        "41--49",
  month =        oct,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wettstein:1980:CA,
  author =       "H. Wettstein and G. Merbeth",
  title =        "The concept of asynchronization",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "4",
  pages =        "50--70",
  month =        oct,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Denning:1980:EVO,
  author =       "Peter J. Denning and Harold S. Stone",
  title =        "An exchange of views on operating systems courses",
  journal =      j-OPER-SYS-REV,
  volume =       "14",
  number =       "4",
  pages =        "71--82",
  month =        oct,
  year =         "1980",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Wilkinson:1981:PAB,
  author =       "A. L. Wilkinson and D. H. Anderson and D. P. Chang and
                 Lee Hock Hin and A. J. Mayo and I. T. Viney and R.
                 Williams and W. Wright",
  title =        "A penetration analysis of a {Burroughs Large System}",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "1",
  pages =        "14--25",
  month =        jan,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fleisch:1981:APS,
  author =       "Brett D. Fleisch",
  title =        "An architecture for pup services on a distributed
                 operating system",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "1",
  pages =        "26--44",
  month =        jan,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Madsen:1981:CSSa,
  author =       "Johannes Madsen",
  title =        "A computer system supporting data abstraction",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "1",
  pages =        "45--72",
  month =        jan,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:34 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Hillsberg:1981:GTS,
  author =       "Bruce Light Hillsberg",
  title =        "Generic terminal support",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "2",
  pages =        "10--15",
  month =        apr,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lunn:1981:ARL,
  author =       "K. Lunn and K. H. Bennett",
  title =        "An algorithm for resource location in a loosely linked
                 distributed computer system",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "2",
  pages =        "16--20",
  month =        apr,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Miller:1981:XOS,
  author =       "Barton Miller and David Presotto",
  title =        "{XOS}: an operating system for the {X-tree}
                 architecture",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "2",
  pages =        "21--32",
  month =        apr,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lindsay:1981:BLS,
  author =       "D. C. Lindsay",
  title =        "On binding layers of software",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "2",
  pages =        "33--37",
  month =        apr,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Madsen:1981:CSSb,
  author =       "Johannes Madsen",
  title =        "A computer system supporting data abstraction",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "2",
  pages =        "38--78",
  month =        apr,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:39 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Svobodova:1981:PMC,
  author =       "Liba Svobodova",
  title =        "Performance monitoring in computer systems: a
                 structured approach",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "3",
  pages =        "39--50",
  month =        jul,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:45 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Tanenbaum:1981:OAD,
  author =       "Andrew S. Tanenbaum and Sape J. Mullender",
  title =        "An overview of the {Amoeba} distributed operating
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "3",
  pages =        "51--64",
  month =        jul,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:45 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Andrews:1981:NYS,
  author =       "Gregory R. Andrews",
  title =        "A note from your secretary-treasurer",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "4",
  pages =        "1--2",
  month =        oct,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Janson:1981:UTE,
  author =       "P. A. Janson",
  title =        "Using type-extension to organize virtual-memory
                 mechanisms",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "4",
  pages =        "6--38",
  month =        oct,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Sanguinetti:1981:UMC,
  author =       "John Sanguinetti",
  title =        "The use of the monitor call instruction to implement
                 domain switching in the {IBM 370} architecture",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "4",
  pages =        "55--61",
  month =        oct,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bacon:1981:ADS,
  author =       "Jean Bacon",
  title =        "An approach to distributed software systems",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "4",
  pages =        "62--74",
  month =        oct,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bailey:1981:UDF,
  author =       "Kirk A. Bailey and Lee Boynton and Paul E. McKenney
                 and Gary J. Oliver and Dave Regan",
  title =        "User defined files",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "4",
  pages =        "75--84",
  month =        oct,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:50 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bernstein:1981:PRT,
  author =       "Arthur Bernstein and Paul K. {Harter, Jr.}",
  title =        "Proving real-time properties of programs with temporal
                 logic",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "1--11",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Rushby:1981:DVS,
  author =       "J. M. Rushby",
  title =        "Design and verification of secure systems",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "12--21",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bartlett:1981:NK,
  author =       "Joel F. Bartlett",
  title =        "A {NonStop} kernel",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "22--29",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lauer:1981:ODO,
  author =       "Hugh C. Lauer",
  title =        "Observations on the development of an operating
                 system",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "30--36",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Fridrich:1981:FFS,
  author =       "M. Fridrich and W. Older",
  title =        "The {Felix File Server}",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "37--44",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Mitchell:1981:CTN,
  author =       "James G. Mitchell and Jeremy Dion",
  title =        "A comparison of two network-based file servers",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "45--46",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Svobodova:1981:ROO,
  author =       "Liba Svobodova",
  title =        "A reliable object-oriented data repository for a
                 distributed computer system",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "47--58",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Herbert:1981:SCS,
  author =       "A. J. Herbert and R. M. Needham",
  title =        "Sequencing computation steps in a network",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "59--63",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Rashid:1981:ACO,
  author =       "Richard F. Rashid and George G. Robertson",
  title =        "{Accent}: {A} communication oriented network operating
                 system kernel",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "64--75",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Spector:1981:PRO,
  author =       "Alfred Z. Spector",
  title =        "Performing remote operations efficiently on a local
                 computer network",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "76--77",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Babaoglu:1981:CSB,
  author =       "{\"O}zalp Babao{\u{g}}lu and William Joy",
  title =        "Converting a swap-based system to do paging in an
                 architecture lacking page-referenced bits",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "78--86",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Carr:1981:WSE,
  author =       "Richard W. Carr and John L. Hennessy",
  title =        "{WSCLOCK}---a simple and effective algorithm for
                 virtual memory management",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "87--95",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Satyanarayanan:1981:SFS,
  author =       "M. Satyanarayanan",
  title =        "A study of file sizes and functional lifetimes",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "96--108",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Bishop:1981:HTG,
  author =       "Matt Bishop",
  title =        "Hierarchical {Take-Grant Protection} systems",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "109--122",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Gifford:1981:CSI,
  author =       "David K. Gifford",
  title =        "Cryptographic sealing for information secrecy and
                 authentication",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "123--124",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Cox:1981:UMI,
  author =       "George W. Cox and William M. Corwin and Konrad K. Lai
                 and Fred J. Pollack",
  title =        "A unified model and implementation for interprocess
                 communication in a multiprocessor environment",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "125--126",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Kahn:1981:IMO,
  author =       "Kevin C. Kahn and William M. Corwin and T. Don Dennis
                 and Herman D'Hooge and David E. Hubka and Linda A.
                 Hutchins and John T. Montague and Fred J. Pollack",
  title =        "{iMAX}: {A} multiprocessor operating system for an
                 object-based computer",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "127--136",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Pollack:1981:IOF,
  author =       "Fred J. Pollack and Kevin C. Kahn and Roy M.
                 Wilkinson",
  title =        "The {iMAX-432} object filing system",
  journal =      j-OPER-SYS-REV,
  volume =       "15",
  number =       "5",
  pages =        "137--147",
  month =        dec,
  year =         "1981",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Aug 26 08:55:53 MDT 2006",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
}

@Article{Lazowska:1981:AES,
  author =       "Edward D. Lazowska and