@manual{prm,
	title = "RISC OS 3 Programmer's Reference Manual",
	organization = "Acorn Computers Limited",
	year = 1992,
	month = dec
}

@techreport{unixl3,
	title = "{Steps Towards Porting a Unix Single Server to the L3
		Microkernel}",
	author = "Michael Hohmuth and Sven Rudolph",
	institution = "Dresden University of Technology",
	year = 1996,
	month = Apr
}

@book{coulouris,
	title = "Distributed Systems Concepts \& Design",
	author = "Coulouris and Dollimore and Kindberg",
	publisher = "Addison-Wesley",
	edition = "2nd",
	year = 1994
}

@inproceedings{muperf,
	title = "{The Performance of $\mu$-Kernel-Based Systems}",
	author = "Hermann H{\"{a}}rtig and Michael Hohmuth and Jochen
		Lidtke and Sebastian Sch{\"{o}}nberg and Jean Wolter",
	booktitle = "Proceedings of the sixteenth ACM Symposium on
		Operating System Principles",
	year = 1997,
	month = Dec,
	volume = "31-5",
}

@inproceedings{machorig,
	title = "{Mach: A New Kernel Foundation for UNIX Development}",
	author = "Mike Accetta and Robert Baron and William Bolosky and
		David Golub and Richard Rashid and Avadis Tevanian and
		Michael Young",
	booktitle = "Proceedings of the Summer 1986 USENIX Conference",
	year = 1986
}

@inproceedings{flick,
	author =    "Eric Eide and Kevin Frei and Bryan Ford and Jay
		     Lepreau and Gary Lindstrom",
	title =     "Flick: {A} Flexible, Optimizing {IDL} Compiler",
	pages =     "44--56",
	ISSN =      "0362-1340",
	booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on
		     Programming Language Design and Implementation
		     ({PLDI}-97)",
	month =      jun # "15--18~",
	series =     "ACM SIGPLAN Notices",
	volume =     "32, 5",
	publisher =  "ACM Press",
	address =    "New York",
	year =		1997,
}

@inproceedings{clans,
	title =		"{Clans \& Chiefs}",
	author =	"Jochen Liedtke",
	booktitle =	"12. GI/ITG-Fachtagung Architektur von
			Rechensystemen",
	publisher =	"Springer",
	pages =		"294--305",
	year =		1992,
}

@inproceedings{ipcdesign,
	author =	"Jochen Liedtke",
	title =		"Improving {IPC} by Kernel Design",
	pages =		"175--188",
	ISBN =		"0-89791-632-8",
	editor =	"Barbara Liskov",
	booktitle =	"Proceedings of the 14th Symposium on Operating
			Systems Principles",
	publisher =	"ACM Press",
	address =	"New York, NY, USA",
	month =		dec,
	year =		1993,
}

@inproceedings{lied95,
	author =	"Jochen Liedtke",
	title =		"On $\mu$-kernel Construction",
	pages =		"237--250",
	booktitle =	"Proceedings of the 15th Symposium on Operating
			Systems Principles",
	publisher =	"ACM Press",
	month =		dec,
	year =		1995
}

@Book{Liedtk96,
	author =	"Jochen Liedtke",
	organization =	"IBM T. J. Watson Research Center and Yorktown
			Heights, NY",
	booktitle =	"L4 reference manual",
	month =		sep,
	year =		1996,
}

@techreport{nfs,
	title =		"{RFC 1813}",
	author =	"Brent Callaghan and Brian Pawlowski and Peter Staubach",
	institution =	"Internet Engineering Task Force",
	month =		jun,
	year =		1995,
}

@manual{arm,
	title =		"ARM710a Preliminary Data Sheet",
	organization =	"Advanced RISC Machines Ltd",
	edition =	"{ARM DDI 0022D}",
	month =		jul,
	year =		1995,
}

% references required for Lites, Linux-on-L4