@preamble{{\input{texnames.sty}}}
@string{abacus = "Abacus"}
@string{acm = "ACM"}
@string{acm-cs = "ACM Computing Surveys"}
@string{acm-ccr = "ACM Computer Communication Review"}
@string{acm-mmsj = "ACM Multimedia Systems Journal"}
@string{acm-mms = "ACM Multimedia Systems"}
@string{acm-pl-sys = "ACM Transactions on Programming Languages and Systems"}
@string{acm-pr = "ACM Press"}
@string{acm-pr-as = "ACM Press Anthology Series"}
@string{acm-pr-fs = "ACM Press Frontier Series"}
@string{acm-tr-cs = "ACM Transactions on Computer Systems"}
@string{acm-tr-ois = "ACM Transactions on Office Information Systems"}
@string{agora = "Agora"}
@string{ah = "Artech House"}
@string{ai = "Acta Informatica"}
@string{am = "The Atlantic Monthly"}
@string{ar-cs = "Annu.\ Rev.\ Computer Science"}
@string{ap = "Academic Press"}
@string{arken = "Arken"}
@string{asd = "Advanced Software Development Series"}
@string{att-bl-tj = "AT{\&}T Bell Laboratories Technical Journal"}
@string{aw = "Addison-Wesley"}
@string{aw-cs = "Addison-Wesley Series in Computer Science"}
@string{aw-cs-ip = "Addison-Wesley Series in Computer Science and
Information Processing"}
@string{aw-ece = "Addison-Wesley Series in Electrical and Computer
Engineering"}
@string{aw-its = "Addison-Wesley Information Technology Series"}
@string{aw-pcs = "Addison-Wesley Professional Computing Series"}
@string{aw-sps = "Addison-Wesley Systems Programming Series"}
@string{aw-ttct = "Addison-Wesley Series on Tools and Techniques for
Computer Typesetting"}
@string{bb = "Bantam Book"}
@string{bc = "Benjamin/Cummings"}
@string{bf = "Bedrift{\o}konomens Forlag"}
@string{bg = "Boston Globe"}
@string{bms = "A Series of Books in the Mathematical Sciences"}
@string{byte = "Byte"}
@string{cacm = "Communications of the ACM"}
@string{can = "Computer Architecture News"}
@string{capp = "Cappelen"}
@string{capp-us = "Cappelens upopul{\ae}re skrifter"}
@string{cb = "Chronicle Books"}
@string{cbits = "Computer Bits"}
@string{cc = "Computer Communications"}
@string{ccn = "Computer Communications and Networking"}
@string{cfg-oim = "The Charles F. Goldfarb Series on Open Information Management"}
@string{ch = "Chapman {\&} Hall"}
@string{cj = "The Computer Journal"}
@string{cmu = "Carnegie Mellon University"}
@string{cn-isdn = "Computer Networks and ISDN Systems"}
@string{cnri = "Corporation for National Research Initiatives"}
@string{comp = "Computer"}
@string{cp = "Clarendon Press"}
@string{crc = "CRC Press"}
@string{cs = "Computing Systems"}
@string{csli = "CSLI Publications"}
@string{csli-ln = "CSLI Lecture Notes"}
@string{csp = "Computer Science Press"}
@string{cspr = "Computer Society Press"}
@string{css = "Computer Science Series"}
@string{csws = "The Component Software Series"}
@string{ct = "Computers {\&} Typesetting"}
@string{cup = "Cambridge University Press"}
@string{c-cst = "Cambridge Computer Science Texts"}
@string{cwi-q = "CWI Quarterly"}
@string{dbms = "DBMS"}
@string{dc = "Distributed Computing"}
@string{dcj = "developer.com Journal"}
@string{dcom = "Data Communications"}
@string{dm = "Datamation"}
@string{dms = "The DevelopMentor Series"}
@string{dt = "Datatid"}
@string{dts = "Developer Technology Series"}
@string{ddj = "Dr.~Dobb's Journal"}
@string{ddsdo = "Dr.~Dobb's Sourcebook on Distributed Objects"}
@string{dp = "Dell Publishing"}
@string{dsej = "Distributed System Engineering Journal"}
@string{ejndp = "Electronic Journal on Networks and Distributed Processing"}
@string{eh = "Ellis Horwood Limited"}
@string{eo = "EurOpen"}
@string{ep = "Electronic Puplishing"}
@string{es-bv = "Elsevier Science B. V."}
@string{fac = "Formal Aspects of Computing"}
@string{fc = "Foundations of Computing"}
@string{fsf = "Free Software Foundation, Inc."}
@string{ga = "Gyldendal Akademisk"}
@string{hf = "H{\o}yskoleForlaget"}
@string{hm = "Hartley {\&} Marks, Publishers"}
@string{hp-j = "Hewlett-Packard Journal"}
@string{hp-ps = "Hewlett-Packard Press Series"}
@string{hr-cs-ts = "Harper {\&} Row Computer Science and Technology Series"}
@string{ibm = "IBM"}
@string{icss = "International Computer Science Series"}
@string{ieee = "IEEE"}
@string{ieee-acm-tn = "IEEE/ACM Transactions on Networking"}
@string{ieee-cm = "IEEE Communications Magazine"}
@string{ieee-c = "IEEE Concurrency"}
@string{ieee-cs = "IEEE Computer Society"}
@string{ieee-csp = "IEEE Computer Society Press"}
@string{ieee-cspt = "IEEE Computer Society Press Tutorial"}
@string{ieee-deb = "IEEE Data Engineering Bulletin"}
@string{ieee-dso = "IEEE Distributed Systems Online"}
@string{ieee-jsac = "IEEE Journal on Selected Areas in Communications"}
@string{ieee-mm = "IEEE Multimedia"}
@string{ieee-mm-nl = "IEEE Multimedia Newsletter"}
@string{ieee-nw = "IEEE Network"}
@string{ieee-nm = "IEEE Network Magazine"}
@string{ieee-pc = "IEEE Personal Communications"}
@string{ieee-pdt = "IEEE Parallel {\&} Distributed Technology"}
@string{ieee-pr = "IEEE Press"}
@string{ieee-sw = "IEEE Software"}
@string{ieee-tr-c = "IEEE Transactions on Computers"}
@string{ieee-tr-com = "IEEE Transactions on Communications"}
@string{ieee-tr-pc = "IEEE Transactions on Professional Communication"}
@string{ieee-tr-pds = "IEEE Transactions on Parallel and Distributed Systems"}
@string{ieee-tr-kde = "IEEE Transactions on Knowledge and Data Engineering"}
@string{ieee-tr-swe = "IEEE Transactions on Software Engineering"}
@string{iee-p-swe = "IEE Proceedings -- Software Engineering"}
@string{iee-p-sw = "IEE Proceedings -- Software"}
@string{ifip = "IFIP"}
@string{ifip-cs = "IFIP Congress Series"}
@string{ifip-tr = "IFIP Transactions"}
@string{isu = "Information Services and Use"}
@string{j2p-ee = "Java~2 Platform, Enterprise Edition Series"}
@string{jacm = "Journal of the Association for Computing Machinery"}
@string{jcsc = "Journal of Computer and System Science"}
@string{jbp = "Jones and Bartlett Publishers"}
@string{jb-cs = "Jones and Bartlett Computer Science"}
@string{jdj = "Java Developer's Journal"}
@string{jhsn = "Journal of High-Speed Networking"}
@string{jpdc = "Journal of Parallel and Distributed Computing"}
@string{js = "The Java Series"}
@string{js-ee = "The Java Series, Enterprise Edition"}
@string{jss = "The Journal of System and Software"}
@string{jw = "John Wiley {\&} Sons"}
@string{kap = "Kluwer Academic Publishers"}
@string{k-ecs = "The Kluwer International Series in Engineering and
Computer Science"}
@string{lj = "Linux Journal"}
@string{lj-sol = "Linux Journal -- Strictly On-Line"}
@string{lm = "LAN Magazine"}
@string{lnai = "Lecture Notes in AI"}
@string{ln-cs = "Lecture Notes in Computer Science"}
@string{lncs = "Lecture Notes in Computer Science"}
@string{lst = "Longman Scientific {\&} Technical"}
@string{lucid = "Lucid, Inc."}
@string{macmillian = "Macmillian"}
@string{manning = "Manning"}
@string{mh = "McGraw-Hill Book Company"}
@string{mh-isse = "The McGraw-Hill International Series in Software
Engineering"}
@string{mit-ee-cs = "The MIT Electrical Engineering and Computer Science
Series"}
@string{mit-pr = "The MIT Press"}
@string{mk = "Morgan Kaufmann Publishers Inc."}
@string{mk-sn = "The Morgan Kaufmann Series in Networking"}
@string{mk-dms = "The Morgan Kaufmann Series in Data Management Systems"}
@string{mm-sys = "Multimedia Systems"}
@string{mm-ta = "Multimedia Tools and Applications"}
@string{mot = "Managing Object Technology Series"}
@string{mp = "Microsoft Press"}
@string{ms-cs = "Mathematical Structures in Computer Science"}
@string{msj = "Microsoft System Journal"}
@string{mt = "M {\&} T Books"}
@string{mvc = "Monographs in Visual Communication"}
@string{nas-css = "Nato ASI Series, Series F: Computer and System Sciences"}
@string{nh = "A Nutshell Handbook"}
@string{nh-pc = "North-Holland Publishing Company"}
@string{nr = "New Riders"}
@string{o-mh = "Osborne McGraw-Hill"}
@string{octs = "Object and Component Technology Series"}
@string{ois = "Open Information Systems"}
@string{on = "Object News"}
@string{ora = "O'Reilly {\&} Associates, Inc."}
@string{osf = "Open Software Foundation "}
@string{osf-mach = "Open Software Foundation Mach 3 Series"}
@string{osr = "Operating Systems Review"}
@string{ot = "Object Technology Series"}
@string{oup = "Oxford University Press"}
@string{op = "OMG Press"}
@string{opr = "Oracle Press"}
@string{open-up = "Open University Press"}
@string{p-ieee = "Proceedings of the IEEE"}
@string{pan = "Pan Books"}
@string{pb = "Penguin Books"}
@string{pcss = "Principles of Computer Science Series"}
@string{pcw-n = "PCW Nettverk"}
@string{ph = "Prentice Hall"}
@string{ph-ac = "Prentice Hall Series in Automatic Computation"}
@string{ph-ai = "Prentice Hall Series in Artificial Intelligence"}
@string{ph-cs = "Prentice Hall International Series in Computer Science"}
@string{ph-it = "Prentice Hall Series in Innovative Technology"}
@string{ph-mst = "Prentice Hall Series on Microsoft Technologies"}
@string{ph-ptr = "Prentice Hall PTR"}
@string{ph-sw = "Prentice Hall Software Series"}
@string{pitman = "Pitman"}
@string{pp = "Peachpit Press"}
@string{ps = "Practitioner Series"}
@string{pws = "PWS Publishing Company"}
@string{rp = "Radical Philosophy"}
@string{rsp = "Research Studies Press"}
@string{sams = "SAMS"}
@string{sb = "SIGS books"}
@string{sd-ol = "Software Development Online"}
@string{sig-dc = "Special Interest Group on Data Communication"}
@string{sigmod-rec = "SIGMOD Record"}
@string{sm = "Sun Microsystem"}
@string{smp-js = "The Sun Microsystem Press Java Series"}
@string{sp = "The Systems Programming Series"}
@string{sp-n = "Sigplan Notices"}
@string{sr = "System Review"}
@string{ssc = "Specialized System Consultants, Inc."}
@string{ssp = "SunSoft Press"}
@string{sv = "Springer-Verlag"}
@string{sw-en = "Software Engineering Notes"}
@string{sw-pe = "Software---Practice and Experience"}
@string{syngress = "Syngress"}
@string{tapir = "Tapir"}
@string{tcs = "Theoretical Computer Science"}
@string{tiden = "Tiden Norsk Forlag"}
@string{tm-cs = "Texts and Monographs in Computer Science"}
@string{tpos = "Theory and Practice of Object Systems"}
@string{tss = "Touchstone, Simon {\&} Schuster"}
@string{ucl-pr = "UCL Press"}
@string{uf = "Universitetsforlaget"}
@string{unif = "UniForum"}
@string{ur = "Unix Review"}
@string{usit = "{USIT}, Universitetet i Oslo"}
@string{ut-yp = "University of Texas at Austin Year of Programming Series"}
@string{uw = "Unix/World"}
@string{vnrc = "Van Nostrand Reinhold Computer"}
@string{vv = "Village Voice"}
@string{wpb = "Wiley Press Books"}
@string{whf = "W. H. Freeman and Company"}
@string{wcds = "Wiley Series in Communication and Distributed Systems"}
@string{wcp = "Wiley Computer Publishing"}
@string{wrox = "Wrox Press Ltd"}
@string{wsdp = "Wiley Series in Software Design Patterns"}
@string{ww-cs = "Worldwide Series in Computer Science"}
@TechReport{doob1993a,
author = "Michael Doob",
title = "A Gentle Introduction to {\TeX}",
institution = "Department of Mathematics, The University of Manitoba",
year = 1993,
holder = "compendium",
url = "ftp://ftp.tex.ac.uk/tex-archive/info/gentle/"
}
@Book{eckel1998a,
author = "Bruce Eckel",
title = "Thinking in {Java}",
publisher = ph,
year = 1998,
holder = "compendium",
url = "http://www.BruceEckel.com/javabook.html"
}
@Unpublished{grimley19??a,
author = "Allan Grimley and Steve Hill and Richard Jones and Simon
Thomson and David Turner",
title = "Functional Programming in {Miranda}, Lecture Notes",
note = "Computing Laboratory, University of Kent at Canterbury,
UK",
holder = "compendium"
}
@Manual{grubert2000a,
title = "Z Class Tutorial",
author = "Nico Grubert",
organization = "Beehive GmbH",
year = 2000,
holder = "compendium"
}
@Book{grune1990a,
author = "Dick Grune and Ceriel J.H. Jacobs",
title = "Parsing Techniques -- A Practical Guide",
publisher = eh,
year = 1990,
holder = "compendium",
url = "http://www.cs.vu.nl/~dick/PTAPG.html"
}
@TechReport{hartvigsen1990b,
author = "Gunnar Hartvigsen and Randi Karlsen and Tryggve
S{\o}rensen",
title = "Datafaglig Etikk",
type = "Innstilling fra Etikkutvalget ved Seksjon for Datafag",
institution = "Seksjon for Datafag, Institutt for Matematiske Realfag,
Universitetet i Troms{\o}",
year = 1990,
month = dec,
holder = "compendium"
}
@Booklet{hartvigsen1996a,
title = "Forskerh{\aa}ndboken 1",
author = "Gunnar Hartvigsen",
address = "Universitetet i Troms{\o}",
year = 1996,
month = jan,
note = "Versjon 5.2",
holder = "compendium"
}
@Booklet{hartvigsen1996b,
title = "Forskerh{\aa}ndboken 2",
author = "Gunnar Hartvigsen",
address = "Universitetet i Troms{\o}",
year = 1996,
month = jan,
note = "Versjon 5.2",
holder = "compendium"
}
@TechReport{jervell1989a,
author = "Herman Ruge Jervell",
title = "Forelesninger i logikk",
institution = "Institutt for Informatikk, Universitetet i Oslo",
year = 1989,
month = apr,
type = "Kompendium",
number = 35,
holder = "compendium"
}
@Booklet{jolitz1991a,
title = "Porting {UNIX} to the 386",
author = "William Frederick Jolitz and Lynne Greer Jolitz",
howpublished = ddj,
year = "1991/1992",
holder = "compendium"
}
@Manual{kirchner2000a,
title = "Zope: Users, Roles and Permissions",
author = "Katrin Kirchner",
organization = "Beehive GmbH",
year = 2000,
holder = "compendium"
}
@TechReport{kristiansen1995a,
author = "Lars Kristiansen",
title = "F{\o}rste ordens teorier og grunnleggende rekursjonsteori",
institution = "Universitetet i Oslo, Institutt for Informatikk",
year = 1995,
type = "Kompendium",
number = 66,
month = "V{\aa}rsemesteret",
holder = "compendium"
}
@Book{manna1992a,
author = "Zohar Manna and Amir Pnueli",
title = "The Temporal Logic of Reactive and Concurrent Systems",
publisher = sv,
year = 1992,
holder = "compendium"
}
@Book{milner1980a,
author = "Robin Milner",
title = "A Calculus of Communication Systems",
publisher = sv,
year = 1980,
volume = 92,
series = ln-cs,
holder = "compendium"
}
@Book{ness1992a,
author = "Bj{\o}rn Ness",
title = "Into the Great Wide Open --- {ABC} om
kommunikasjonstjenester",
publisher = usit,
year = 1992,
edition = "{UNINETT}",
holder = "compendium"
}
@Manual{oetiker1999a,
title = "The Not So Short Introduction to {\LaTeX2e}",
author = "Tobias Oetiker and Hubert Partl and Irene Hyna and
Elisabeth Schlegl",
month = apr,
year = 1999,
note = "Version 3.7",
holder = "compendium",
url = "ftp://ftp.tex.ac.uk/tex-archive/info/lshort/english/"
}
@TechReport{omg1998a,
author = "{Object Managment Group}",
title = "The Common Object Request Broker: Architecture and
Specification",
institution = "{Object Managment Group}",
year = 1998,
month = feb,
note = "(revision 2.2)",
holder = "compendium",
url = "ftp://ftp.omg.org/pub/docs/formal/98-02-01.ps"
}
@TechReport{omg1999a,
author = "{Object Managment Group}",
title = "The Common Object Request Broker: Architecture and
Specification",
institution = "{Object Managment Group}",
year = 1999,
month = oct,
note = "(revision 2.3.1)",
holder = "compendium",
url = "ftp://ftp.omg.org/pub/docs/formal/99-10-07.ps"
}
@Book{ostroff1989a,
author = "Jonathan S. Ostroff",
title = "Temporal Logic for Real-Time Systems",
publisher = rsp # "/" # jw,
year = 1989,
series = asd,
holder = "compendium"
}
@Book{pierce1991a,
author = "Benjamin C. Pierce",
title = "Basic Category Theory for Computer Scientists",
publisher = mit-pr,
year = 1991,
holder = "compendium"
}
@InCollection{poigne1992a,
author = "Axel Poign{\'e}",
title = "Basic Category Theory",
booktitle = "Handbook of Logic in Computer Science",
publisher = cp,
year = 1992,
editor = "S. Abramsky and Dov M. Gabbay and T. S. E. Maibaum",
pages = "413--637",
holder = "compendium"
}
@TechReport{stensby1999a,
author = "{\AA}ge Stensby",
title = "Internett tjenester 3IP80, Kompendium",
institution = "H{\o}gskolen i Hedmark",
year = 1999,
holder = "compendium"
}
@Unpublished{uito1991a,
author = "{Universitetet i Troms{\o}}",
title = "D-102 Artikkelsamling",
note = "Seksjon for Datafag, Institutt for Matematiske Realfag,
Universitetet i Troms{\o}",
year = 1991,
holder = "compendium"
}
@Unpublished{uito1995a,
author = "{Universitetet i Troms{\o}}",
title = "Multimedia Systemer",
note = "Artikkelsamling {ODS}-seminar H{\o}st 95",
year = 1995,
holder = "compendium"
}
@Unpublished{uito1996a,
author = "{Universitetet i Troms{\o}}",
title = "V-301 Artikler",
note = "Samling av artikler fra V-301 v{\aa}ren 1996",
year = 1996,
holder = "compendium"
}