@techreport(dill,
 author       = "Andrew Barber and Gordon Plotkin",
 year         = "1998",
 title        = "Dual Intuitionistic Linear Logic",
 type         = "Technical Report",
 institution  = "University of Edinburgh",
)
@article(LinUCHOSC,
 author       = "Josh Berdine and Peter~W. O'Hearn and Uday Reddy and Hayo Thielecke",
 year         = "2002",
 title        = "Linear Continuation Passing",
 journal      = "Higher-order and Symbolic Computation",
 volume       = "15",
 number       = "2/3",
 pages        = "181--208",
 doi          = "10.1023/A:1020891112409",
)
@book(Bovet:2002:ULK,
 author       = "Daniel Bovet and Marco Cesati",
 year         = "2002",
 title        = "Understanding the Linux Kernel, Second Edition",
 edition      = "2",
 publisher    = "O'Reilly \& Associates, Inc.",
 address      = "Sebastopol, CA, USA",
)
@inproceedings(de:Dinechin:2000:CEH,
 author       = "Christophe de~Dinechin",
 year         = "2000",
 title        = "{C++ exception handling for IA-64}",
 booktitle    = "Proceedings of the 1st conference on Industrial Experiences with Systems Software - Volume 1",
 series       = "WIESS'00",
 publisher    = "USENIX Association",
 address      = "Berkeley, CA, USA",
 pages        = "8--8",
 url          = "http://dl.acm.org/citation.cfm?id=1251503.1251511",
)
@misc(IT:CABI:EH,
 year         = "2001",
 title        = "{Itanium} {C++} {ABI}: {Exception Handling}",
 url          = "http://www.codesourcery.com/cxx-abi/abi-eh.html",
 note         = "(Revision: 1.22)",
)
@article(certifyinginterrupts,
 author       = "Xinyu Feng and Zhong Shao and Yu~Guo and Yuan Dong",
 year         = "2009",
 title        = "Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads",
 journal      = "J. Autom. Reasoning",
 volume       = "42",
 number       = "2-4",
 pages        = "301--347",
 doi          = "10.1007/s10817-009-9118-9",
)
@article(HuttonW07,
 author       = "Graham Hutton and Joel Wright",
 year         = "2007",
 title        = "What is the meaning of these constant interruptions?",
 journal      = "J. Funct. Program.",
 volume       = "17",
 number       = "6",
 pages        = "777--792",
 doi          = "10.1017/S0956796807006363",
)
@misc(ISO14882:2011,
 year         = "2011",
 title        = "{ISO/IEC 14882:2011 Information technology - Programming languages - C++}",
 url          = "http://www.iso.org",
)
@misc(ISO14882:1999,
 year         = "1999",
 title        = "{ISO/IEC 14882:1999 Programming languages - C++}",
 url          = "www.iso.ch",
)
@book(Kerrisk:2010:LinuxProgInter,
 author       = "Michael Kerrisk",
 year         = "2010",
 title        = "{The Linux Programming Interface: A Linux and UNIX System Programming Handbook}",
 edition      = "1",
 publisher    = "No Starch Press",
 url          = "http://www.worldcat.org/isbn/1593272200",
)
@book(mlrevised,
 author       = "Robin Milner and Mads Tofte and Robert Harper and David MacQueen",
 year         = "1997",
 title        = "The Definition of Standard {ML} (Revised)",
 publisher    = "{MIT} Press",
 url          = "http://www.worldcat.org/isbn/0262631814",
)
@inproceedings(moggi89computational,
 author       = "Eugenio Moggi",
 year         = "1989",
 title        = "Computational Lambda Calculus and Monads",
 booktitle    = "Proceedings, Fourth Annual Symposium on Logic in Computer Science",
 pages        = "14--23",
 doi          = "10.1109/LICS.1989.39155",
)
@inproceedings(reynoldslicssep,
 author       = "John~C. Reynolds",
 year         = "2002",
 title        = "Separation Logic: A Logic for Shared Mutable Data Structures",
 booktitle    = "Logic in Computer Science (LICS)",
 publisher    = "IEEE",
 pages        = "55--74",
 doi          = "10.1109/LICS.2002.1029817",
)
@book(Robbins:2003:UNIX,
 author       = "Kay Robbins and Steve Robbins",
 year         = "2003",
 title        = "{UNIX Systems Programming: Communication, Concurrency and Threads (2nd Edition)}",
 publisher    = "{Prentice Hall PTR}",
 url          = "http://www.worldcat.org/isbn/0130424110",
)
@manual(Loosemore:gnuClibRefMan,
 author       = "{Sandra Loosemore and Richard M. Stallman and Roland McGrath and Andrew Oram and Ulrich Drepper}",
 year         = "2007",
 title        = "{The GNU C Library Reference Manual}",
 edition      = "0.12",
 url          = "http://www.gnu.org/software/libc/manual/pdf/libc.pdf",
 note         = "{last updated 2007-10-27, for version 2.8}",
)
@book(Stevens:2005:APU,
 author       = "Richard~W. Stevens and Stephen~A. Rago",
 year         = "2005",
 title        = "Advanced Programming in the UNIX(R) Environment (2nd Edition)",
 publisher    = "Addison-Wesley Professional",
 url          = "http://www.informit.com/store/product.aspx?isbn=0201433079",
)